| 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 |
| Wed, 24 May 2017 13:58:32 +0200 | mmahringer | Integrate mawen Editor into ISAC | changeset | files |
| Wed, 24 May 2017 09:59:09 +0200 | Walther Neuper | merged | changeset | files |
| Wed, 24 May 2017 09:59:01 +0200 | Walther Neuper | CLEANUP mawen's new directories | changeset | files |
| Wed, 24 May 2017 09:40:37 +0200 | mmahringer | merged | changeset | files |
| Wed, 24 May 2017 09:36:42 +0200 | mmahringer | add EditorListener in IEditor for checking a formula | changeset | files |
| Fri, 19 May 2017 13:46:24 +0200 | Walther Neuper | corrected Ast.math_string_of for lists | changeset | files |
| Fri, 19 May 2017 11:18:10 +0200 | Walther Neuper | Ast.math_string_of handles univariate functions ... | changeset | files |
| Thu, 18 May 2017 12:35:42 +0200 | mmahringer | merged | changeset | files |
| Thu, 18 May 2017 12:35:31 +0200 | mmahringer | add EditorListener --> notify Worksheet | changeset | files |
| Thu, 18 May 2017 10:45:22 +0200 | Walther Neuper | tuned | changeset | files |
| Thu, 18 May 2017 10:34:45 +0200 | Walther Neuper | added new test to TestAll | changeset | files |
| Thu, 18 May 2017 10:19:51 +0200 | mmahringer | merged | changeset | files |
| Thu, 18 May 2017 10:19:39 +0200 | mmahringer | Settings.scala get its initial data from property file Editor.properties | changeset | files |
| Thu, 18 May 2017 10:16:13 +0200 | Walther Neuper | collect test data from User Requirements | changeset | files |
| Wed, 17 May 2017 17:10:58 +0200 | Walther Neuper | enforce use of XLibrary | changeset | files |
| Wed, 17 May 2017 16:39:06 +0200 | Walther Neuper | merged | changeset | files |
| Wed, 17 May 2017 16:36:37 +0200 | Walther Neuper | Syntax_Phases.term_to_ast reverts Isabelle/Isac's parse | changeset | files |
| Wed, 17 May 2017 15:58:13 +0200 | Walther Neuper | Ast.math_string_of handles lists | changeset | files |
| Wed, 17 May 2017 09:38:46 +0200 | mmahringer | merged | changeset | files |
| Wed, 17 May 2017 09:29:41 +0200 | mmahringer | Integrate Editor in ISAC / CustomTreeCellEditor | changeset | files |
| Fri, 12 May 2017 12:50:22 +0200 | Walther Neuper | rename write access to Ast according to Scala's TreeMap | changeset | files |
| Tue, 09 May 2017 09:28:55 +0200 | Walther Neuper | Isabelle_Isac --Term/Ast--> Tutor only THIS direction | changeset | files |
| Sun, 07 May 2017 13:59:35 +0200 | Walther Neuper | Ast.normalize drops types | changeset | files |
| Sun, 07 May 2017 13:13:45 +0200 | Walther Neuper | Ast.normalize works with simple example | changeset | files |
| Thu, 04 May 2017 15:57:45 +0200 | Walther Neuper | merged | changeset | files |