| Fri, 17 Jun 2016 14:15:18 +0200 | Natalie Karl | mathml works in test setup | changeset | files |
| Fri, 17 Jun 2016 13:33:55 +0200 | Walther Neuper | merged | changeset | files |
| Fri, 17 Jun 2016 13:32:46 +0200 | Walther Neuper | added conversion: libisabelle-Term --> MathML | changeset | files |
| Wed, 15 Jun 2016 11:06:42 +0200 | Walther Neuper | merged | changeset | files |
| Tue, 07 Jun 2016 13:03:58 +0200 | Walther Neuper | merged | changeset | files |
| Fri, 20 May 2016 11:41:13 +0200 | Walther Neuper | TERM: unify XML for Formula <-- term | changeset | files |
| Fri, 20 May 2016 11:07:33 +0200 | Walther Neuper | TERM: unify XML for Formula --> term | changeset | files |
| Fri, 17 Jun 2016 11:12:54 +0200 | Natalie Karl | MathML test String created | changeset | files |
| Fri, 17 Jun 2016 10:47:46 +0200 | Natalie Karl | TermTree is accessible via NVDA Screenreader | changeset | files |
| Tue, 07 Jun 2016 14:08:56 +0200 | Natalie Karl | TestTermTree displays correct string when collapsed/expanded | changeset | files |
| Fri, 27 May 2016 14:33:58 +0200 | Natalie Karl | reintroduced IToGUI interface into Worksheet | changeset | files |
| Mon, 23 May 2016 13:35:33 +0200 | Natalie Karl | TestTermTree nodes now have two strings | changeset | files |
| Fri, 20 May 2016 16:12:56 +0200 | Natalie Karl | TestTermTree is editable and navigable with keys | changeset | files |
| Wed, 18 May 2016 13:45:53 +0200 | Walther Neuper | tuned | changeset | files |
| Wed, 18 May 2016 13:40:56 +0200 | Walther Neuper | tuned | changeset | files |
| Wed, 18 May 2016 13:39:09 +0200 | Walther Neuper | jtree_of(Term) works in test setup | changeset | files |
| Wed, 18 May 2016 10:09:47 +0200 | Walther Neuper | merged | changeset | files |
| Wed, 18 May 2016 10:05:41 +0200 | Walther Neuper | hints for setup of incremental build of jtree_of(Term) | changeset | files |
| Wed, 18 May 2016 10:09:02 +0200 | Natalie Karl | setup of incremental build of jtree_of(Term) | changeset | files |
| Tue, 17 May 2016 16:15:00 +0200 | Natalie Karl | corrected merge | changeset | files |
| Tue, 17 May 2016 16:09:54 +0200 | Natalie Karl | merged | changeset | files |
| Tue, 17 May 2016 16:08:38 +0200 | Natalie Karl | Prepare implementation of jtree_of(tree) | changeset | files |
| Tue, 17 May 2016 15:52:28 +0200 | Walther Neuper | new setup for incremental build of jtree_of | changeset | files |
| Tue, 17 May 2016 15:09:08 +0200 | Walther Neuper | wait for simpler creation of JTree | changeset | files |
| Tue, 17 May 2016 14:38:22 +0200 | Natalie Karl | Repair getter and setter for Formula and CalcFormula | changeset | files |
| Tue, 17 May 2016 14:27:59 +0200 | Walther Neuper | TestTermTreeView reports strange null==get(pos).getTerm()) | changeset | files |
| Tue, 17 May 2016 12:27:22 +0200 | Natalie Karl | TestTermTreeView minimum example is shown | changeset | files |
| Tue, 17 May 2016 09:53:02 +0200 | Natalie Karl | TermTree is shown with root-formula + file | changeset | files |
| Tue, 17 May 2016 09:49:19 +0200 | Natalie Karl | merged | changeset | files |
| Tue, 17 May 2016 09:49:08 +0200 | Natalie Karl | TermTree is shown with root-formula | changeset | files |
| Mon, 16 May 2016 14:43:21 +0200 | Walther Neuper | re-activate <NEW>-button on GUI for new example | changeset | files |
| Fri, 13 May 2016 14:35:46 +0200 | Walther Neuper | converstion Term --> String (Isabelle) works for example for reference | changeset | files |
| Fri, 13 May 2016 14:21:22 +0200 | Walther Neuper | note on outcommented test | changeset | files |
| Fri, 13 May 2016 14:08:53 +0200 | Natalie Karl | merged | changeset | files |
| Fri, 13 May 2016 14:08:42 +0200 | Natalie Karl | TermTreePanel tests can be started from TestWorksheetForMawen | changeset | files |
| Fri, 13 May 2016 12:38:24 +0200 | Walther Neuper | clarified WorksheetDialog#active_formula_ | context_formula_ | changeset | files |
| Thu, 12 May 2016 16:24:10 +0200 | Walther Neuper | terms for tests with example for reference | changeset | files |
| Thu, 12 May 2016 16:08:50 +0200 | Walther Neuper | tool for creating libisabelle's terms ... | changeset | files |
| Thu, 12 May 2016 09:08:11 +0200 | Walther Neuper | unified decode/encode of libisabelle's Terms | changeset | files |
| Wed, 11 May 2016 13:27:45 +0200 | Walther Neuper | collect creation of analogous testdata | changeset | files |
| Wed, 11 May 2016 10:41:12 +0200 | Natalie Karl | merged | changeset | files |
| Wed, 11 May 2016 10:40:59 +0200 | Natalie Karl | TermTreePanel appears on screen | changeset | files |
| Wed, 11 May 2016 09:59:10 +0200 | Walther Neuper | update CLEANUP (old flaws) | changeset | files |
| Thu, 28 Apr 2016 16:28:16 +0200 | Walther Neuper | merged | changeset | files |
| Thu, 28 Apr 2016 16:28:07 +0200 | Walther Neuper | tuned | changeset | files |
| Thu, 28 Apr 2016 16:10:51 +0200 | Natalie Karl | merged | changeset | files |
| Thu, 28 Apr 2016 16:10:35 +0200 | Natalie Karl | add UserAction "Tree Representation", partially | changeset | files |
| Thu, 28 Apr 2016 14:56:43 +0200 | Walther Neuper | trials to shift <NEXT>, <AUTO> to Worksheet | changeset | files |
| Wed, 27 Apr 2016 16:55:58 +0200 | Walther Neuper | tuned | changeset | files |
| Wed, 27 Apr 2016 16:48:53 +0200 | Walther Neuper | test-setup: what is missing ? | changeset | files |
| Wed, 27 Apr 2016 12:01:17 +0200 | Walther Neuper | test-setup: fix location and size of Worksheet | changeset | files |
| Wed, 27 Apr 2016 11:13:50 +0200 | Walther Neuper | first line on the Worksheet is shown | changeset | files |
| Wed, 27 Apr 2016 10:23:20 +0200 | Natalie Karl | test-setup for mawen's Worksheet | changeset | files |
| Wed, 27 Apr 2016 09:43:14 +0200 | Natalie Karl | Mocks are as close to TestWorksheetForMawen as possible. | changeset | files |
| Tue, 26 Apr 2016 17:18:09 +0200 | Walther Neuper | test test-setup for mawen's Worksheet | changeset | files |
| Thu, 21 Apr 2016 14:00:43 +0200 | Walther Neuper | testdata for mawen's example for reference | changeset | files |
| Wed, 20 Apr 2016 10:02:50 +0200 | Natalie Karl | Isac runs on Windows with these properties + Run configurations | changeset | files |
| Tue, 19 Apr 2016 10:12:19 +0200 | Walther Neuper | tuned message wrt. "bridge-internal RMI' | changeset | files |
| Mon, 18 Apr 2016 18:58:30 +0200 | Walther Neuper | isac.Testall is OK with new libisabelle Setup | changeset | files |
| Mon, 18 Apr 2016 18:53:02 +0200 | Walther Neuper | removed some of "internal RMI" within bridge | changeset | files |