| Thu, 06 Jul 2017 14:15:34 +0200 | mmahringer | delete -> Appl(Cursor, GAP) instead of GAP | changeset | files |
| Thu, 06 Jul 2017 11:51:36 +0200 | mmahringer | F2 to change Box to Cursor | changeset | files |
| Thu, 06 Jul 2017 10:56:54 +0200 | mmahringer | delete subterm of Cursor by key Delete | changeset | files |
| Thu, 06 Jul 2017 10:27:33 +0200 | mmahringer | delete numbers like variables | changeset | files |
| Thu, 06 Jul 2017 09:51:52 +0200 | mmahringer | tuned | changeset | files |
| Thu, 06 Jul 2017 09:49:13 +0200 | mmahringer | fix spacing problems with frac in frac | changeset | files |
| Tue, 04 Jul 2017 17:59:51 +0200 | mmahringer | editing operators and backspace | changeset | files |
| Tue, 04 Jul 2017 16:49:38 +0200 | mmahringer | tuned | changeset | files |
| Tue, 04 Jul 2017 16:47:36 +0200 | mmahringer | delete unnecessary files and add Formula bracket | changeset | files |
| Fri, 30 Jun 2017 18:09:22 +0200 | mmahringer | rework STD | changeset | files |
| Thu, 29 Jun 2017 15:46:56 +0200 | Walther Neuper | merged | changeset | files |
| Thu, 29 Jun 2017 15:46:02 +0200 | Walther Neuper | comments/questions from AstComponent..AstInfoUtil | changeset | files |
| Thu, 29 Jun 2017 15:45:00 +0200 | mmahringer | fix boxing problems with BinOp | changeset | files |
| Thu, 29 Jun 2017 14:06:23 +0200 | Walther Neuper | merged | changeset | files |
| Thu, 29 Jun 2017 14:06:13 +0200 | Walther Neuper | prepare syntax for absorbing details from editor, part. | changeset | files |
| Thu, 29 Jun 2017 14:03:43 +0200 | Walther Neuper | comments to editor classes | changeset | files |
| Thu, 29 Jun 2017 13:27:00 +0200 | mmahringer | fix zooming problems | changeset | files |
| Thu, 29 Jun 2017 09:41:02 +0200 | mmahringer | tuned | changeset | files |
| Wed, 28 Jun 2017 21:49:52 +0200 | mmahringer | CalcUtil: Change Parameters to Boxes, change Box to DrawBax, Box is now abstract | changeset | files |
| Wed, 28 Jun 2017 10:47:52 +0200 | mmahringer | merged | changeset | files |
| Wed, 28 Jun 2017 10:47:32 +0200 | mmahringer | move Listener from AstComponent to EventUtil | changeset | files |
| Wed, 28 Jun 2017 10:46:32 +0200 | Walther Neuper | trial with code brush up | changeset | files |
| Wed, 28 Jun 2017 08:49:48 +0200 | mmahringer | remove unused ActionListener in AstComponent | changeset | files |
| Wed, 28 Jun 2017 08:47:28 +0200 | mmahringer | fix | changeset | files |
| Wed, 28 Jun 2017 08:46:16 +0200 | mmahringer | change Util Name to CalcUtil | changeset | files |
| Wed, 28 Jun 2017 08:43:36 +0200 | mmahringer | Util: change parameter of function for paint | changeset | files |
| Tue, 27 Jun 2017 16:50:30 +0200 | mmahringer | navigation of the cursor | changeset | files |
| Tue, 27 Jun 2017 13:15:21 +0200 | mmahringer | remove FormulaTexField | changeset | files |
| Tue, 27 Jun 2017 13:08:01 +0200 | mmahringer | merged | changeset | files |
| Tue, 27 Jun 2017 13:07:47 +0200 | mmahringer | Listen from KeyInput to write formulas | changeset | files |
| Tue, 27 Jun 2017 12:49:02 +0200 | Walther Neuper | treat Isabelle_isac.connect uniformly | changeset | files |
| Tue, 27 Jun 2017 11:27:29 +0200 | Walther Neuper | get a sub-term of an ast via key | changeset | files |
| Fri, 23 Jun 2017 09:56:34 +0200 | Walther Neuper | trial to call Isabelle_Isac.connect more efficiently | changeset | files |
| Wed, 21 Jun 2017 14:42:08 +0200 | Walther Neuper | merged | changeset | files |
| Wed, 21 Jun 2017 14:41:55 +0200 | Walther Neuper | correct ast from "extend CURSOR" | changeset | files |
| Wed, 21 Jun 2017 14:38:47 +0200 | mmahringer | merged | changeset | files |
| Wed, 21 Jun 2017 14:38:37 +0200 | mmahringer | boxing Asts and navigation with arrows | changeset | files |
| Wed, 21 Jun 2017 14:11:08 +0200 | Walther Neuper | extend CURSOR in asts according to input process | changeset | files |
| Tue, 20 Jun 2017 08:25:12 +0200 | Walther Neuper | tuned | changeset | files |
| Tue, 20 Jun 2017 08:15:59 +0200 | Walther Neuper | mmahringer's TestUseCases all work | changeset | files |
| Mon, 19 Jun 2017 09:10:51 +0200 | Walther Neuper | review Ast.math_string_of for tuple | changeset | files |
| Sun, 18 Jun 2017 15:21:45 +0200 | Walther Neuper | tuned | changeset | files |
| Sun, 18 Jun 2017 15:20:25 +0200 | Walther Neuper | cleanup from previous changeset | changeset | files |
| Sun, 18 Jun 2017 15:10:05 +0200 | Walther Neuper | ast-translation for tuple | changeset | files |
| Sun, 18 Jun 2017 13:30:51 +0200 | Walther Neuper | review of Testall | changeset | files |
| Fri, 02 Jun 2017 12:18:12 +0200 | mmahringer | fix display problem with empty Ast in TreeCellRenderer | changeset | files |
| Fri, 02 Jun 2017 12:02:04 +0200 | mmahringer | fix spacing problem with equations | changeset | files |
| Fri, 02 Jun 2017 11:52:06 +0200 | mmahringer | times & minus can now visualized in the editor | changeset | files |
| Fri, 02 Jun 2017 11:38:11 +0200 | mmahringer | merged | changeset | files |
| Fri, 02 Jun 2017 11:37:57 +0200 | mmahringer | delete unnecessary comments | changeset | files |
| Wed, 31 May 2017 15:05:32 +0200 | Walther Neuper | reactivate ScalaTermFromString | changeset | files |
| Fri, 26 May 2017 18:14:49 +0200 | mmahringer | empty formula starts now with a Gap, fix Ast Transform problems with only Gap as root | changeset | files |
| Fri, 26 May 2017 16:45:14 +0200 | mmahringer | editor can display equation | changeset | files |
| Thu, 25 May 2017 21:30:45 +0200 | mmahringer | merged | changeset | files |
| Thu, 25 May 2017 21:30:33 +0200 | mmahringer | handle Asts with Appl(Const, list[ast]) | changeset | files |
| Wed, 24 May 2017 17:27:33 +0200 | Walther Neuper | tuned | changeset | files |
| Wed, 24 May 2017 16:31:52 +0200 | Walther Neuper | tuned | changeset | files |
| Wed, 24 May 2017 16:27:59 +0200 | Walther Neuper | Ast.math_string_of for arbitrary asts | changeset | files |
| Wed, 24 May 2017 14:54:25 +0200 | mmahringer | change Editor.properties names | changeset | files |
| Wed, 24 May 2017 14:09:18 +0200 | mmahringer | renaming wrt generalisation of editor | changeset | files |