| Fri, 26 Mar 2021 10:45:05 +0100 |
reset mathematics-engine to Isabelle2015
|
file | diff | annotate |
| Wed, 12 Sep 2018 16:24:42 +0200 |
hg commit -m "------ connection to new math-engine on Isabelle2018 partially
|
file | diff | annotate |
| Thu, 05 Oct 2017 09:14:22 +0200 |
remove isa-string from BoxUtil
|
file | diff | annotate |
| Tue, 12 Sep 2017 14:33:21 +0200 |
work on TODOWN, partially
|
file | diff | annotate |
| Tue, 12 Sep 2017 13:34:41 +0200 |
FindBox now returns Option[Ast]
|
file | diff | annotate |
| Tue, 12 Sep 2017 12:02:50 +0200 |
AstInfoUtil.Parent now returns Option[Ast]
|
file | diff | annotate |
| Tue, 12 Sep 2017 10:37:55 +0200 |
merge
|
file | diff | annotate |
| Tue, 12 Sep 2017 10:13:45 +0200 |
fix problem with setting a cursor
|
file | diff | annotate |
| Tue, 12 Sep 2017 09:30:34 +0200 |
add font "AR PL KaitiM Big5" as font for numbers
|
file | diff | annotate |
| Thu, 07 Sep 2017 10:43:41 +0200 |
comments and TODOWN
|
file | diff | annotate |
| Thu, 07 Sep 2017 09:41:06 +0200 |
end of end of manual merge
|
file | diff | annotate |
| Wed, 06 Sep 2017 13:45:58 +0200 |
reformat package isac.gui.mawen.editor
|
file | diff | annotate |
| Wed, 02 Aug 2017 09:09:40 +0200 |
add font and charactor in XSyntax
|
file | diff | annotate |
| Thu, 06 Jul 2017 16:10:34 +0200 |
hints for cleanup code
|
file | diff | annotate |
| Thu, 06 Jul 2017 10:56:54 +0200 |
delete subterm of Cursor by key Delete
|
file | diff | annotate |
| Thu, 06 Jul 2017 10:27:33 +0200 |
delete numbers like variables
|
file | diff | annotate |
| Thu, 06 Jul 2017 09:49:13 +0200 |
fix spacing problems with frac in frac
|
file | diff | annotate |
| Tue, 04 Jul 2017 17:59:51 +0200 |
editing operators and backspace
|
file | diff | annotate |
| Fri, 30 Jun 2017 18:09:22 +0200 |
rework STD
|
file | diff | annotate |
| Thu, 29 Jun 2017 15:46:56 +0200 |
merged
|
file | diff | annotate |
| Thu, 29 Jun 2017 15:46:02 +0200 |
comments/questions from AstComponent..AstInfoUtil
|
file | diff | annotate |
| Thu, 29 Jun 2017 15:45:00 +0200 |
fix boxing problems with BinOp
|
file | diff | annotate |
| Thu, 29 Jun 2017 14:06:23 +0200 |
merged
|
file | diff | annotate |
| Thu, 29 Jun 2017 14:03:43 +0200 |
comments to editor classes
|
file | diff | annotate |
| Thu, 29 Jun 2017 13:27:00 +0200 |
fix zooming problems
|
file | diff | annotate |
| Wed, 28 Jun 2017 21:49:52 +0200 |
CalcUtil: Change Parameters to Boxes, change Box to DrawBax, Box is now abstract
|
file | diff | annotate |
| Wed, 28 Jun 2017 10:47:32 +0200 |
move Listener from AstComponent to EventUtil
|
file | diff | annotate |
| Wed, 28 Jun 2017 08:49:48 +0200 |
remove unused ActionListener in AstComponent
|
file | diff | annotate |
| Wed, 28 Jun 2017 08:46:16 +0200 |
change Util Name to CalcUtil
|
file | diff | annotate |
| Wed, 28 Jun 2017 08:43:36 +0200 |
Util: change parameter of function for paint
|
file | diff | annotate |
| Tue, 27 Jun 2017 13:15:21 +0200 |
remove FormulaTexField
|
file | diff | annotate |
| Wed, 21 Jun 2017 14:38:37 +0200 |
boxing Asts and navigation with arrows
|
file | diff | annotate |
| Fri, 02 Jun 2017 11:37:57 +0200 |
delete unnecessary comments
|
file | diff | annotate |
| Fri, 26 May 2017 18:14:49 +0200 |
empty formula starts now with a Gap, fix Ast Transform problems with only Gap as root
|
file | diff | annotate |
| Thu, 25 May 2017 21:30:33 +0200 |
handle Asts with Appl(Const, list[ast])
|
file | diff | annotate |
| Thu, 18 May 2017 12:35:31 +0200 |
add EditorListener --> notify Worksheet
|
file | diff | annotate |
| Thu, 18 May 2017 10:19:39 +0200 |
Settings.scala get its initial data from property file Editor.properties
|
file | diff | annotate |
| Wed, 17 May 2017 09:29:41 +0200 |
Integrate Editor in ISAC / CustomTreeCellEditor
|
file | diff | annotate |
| Wed, 03 May 2017 15:31:06 +0200 |
Add Ast-Transformation for Replaceing Asts. Add Overlayed TextField for editing Asts. By Str. + leftclick you can Edit a Variable or a Gapp and replace it with Constants and Variables
|
file | diff | annotate |
| Fri, 21 Apr 2017 13:05:07 +0200 |
Mock Worksheet for Formula Editor
|
file | diff | annotate |
| Wed, 22 Mar 2017 14:43:23 +0100 |
merged
|
file | diff | annotate |
| Wed, 22 Mar 2017 14:42:03 +0100 |
previous state abstracted to StringEditor
|
file | diff | annotate |
| Wed, 08 Mar 2017 10:25:27 +0100 |
rename package according to Isabelle/../syntax/*
|
file | diff | annotate |
| Fri, 24 Feb 2017 14:39:39 +0100 |
assemble graphical representation of a Ast with "+" Operator
|
file | diff | annotate |
| Tue, 21 Feb 2017 09:15:15 +0100 |
initial structure for editor
|
file | diff | annotate |