| Wed, 06 Sep 2017 12:50:59 +0200 | mmahringer | merge | changeset | files |
| Wed, 06 Sep 2017 12:50:24 +0200 | Walther Neuper | add notifyBraille | changeset | files |
| Wed, 02 Aug 2017 18:04:23 +0200 | Walther Neuper | cleanup hack in Ast.math_string_of | changeset | files |
| Wed, 02 Aug 2017 11:51:30 +0200 | Walther Neuper | quick and dirty repair of Ast.math_string_of | changeset | files |
| Wed, 02 Aug 2017 10:56:36 +0200 | mmahringer | merged | changeset | files |
| Wed, 02 Aug 2017 10:56:24 +0200 | mmahringer | fix problem with to_str with BOX | changeset | files |
| Wed, 02 Aug 2017 09:56:12 +0200 | Walther Neuper | --- adapt BOX of syntax/ to version in editor/ | changeset | files |
| Wed, 02 Aug 2017 09:11:13 +0200 | Walther Neuper | merged | changeset | files |
| Wed, 02 Aug 2017 09:09:02 +0200 | Walther Neuper | tuned | changeset | files |
| Wed, 02 Aug 2017 09:09:40 +0200 | mmahringer | add font and charactor in XSyntax | changeset | files |
| Thu, 06 Jul 2017 16:10:42 +0200 | Walther Neuper | merged | changeset | files |
| Thu, 06 Jul 2017 16:10:34 +0200 | Walther Neuper | hints for cleanup code | changeset | files |
| Thu, 06 Jul 2017 16:01:53 +0200 | mmahringer | merged | changeset | files |
| Thu, 06 Jul 2017 16:00:33 +0200 | mmahringer | remove warinings | changeset | files |
| Thu, 06 Jul 2017 15:36:25 +0200 | Walther Neuper | merged | changeset | files |
| Thu, 06 Jul 2017 15:36:11 +0200 | Walther Neuper | add usecase with coloured boxes | changeset | files |
| 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 |