| Tue, 26 Jul 2016 13:14:34 +0200 | Natalie Karl | merged | changeset | files |
| Tue, 26 Jul 2016 13:00:20 +0200 | Natalie Karl | SoundUtils duplicate removed | changeset | files |
| Tue, 26 Jul 2016 08:08:29 +0200 | Walther Neuper | merged | changeset | files |
| Tue, 26 Jul 2016 08:08:07 +0200 | Walther Neuper | polish for demo: arbitrary input is checked properly | changeset | files |
| Wed, 20 Jul 2016 16:46:06 +0200 | Natalie Karl | focus and commands are now available by MouseClick | changeset | files |
| Wed, 20 Jul 2016 13:00:15 +0200 | Natalie Karl | TermTree collapse at entrance and recursive collapse work | changeset | files |
| Fri, 08 Jul 2016 15:59:33 +0200 | Walther Neuper | merged | changeset | files |
| Fri, 08 Jul 2016 15:58:58 +0200 | Walther Neuper | === CalcFormulas carry libisabelle-Term from kernel to frontend | changeset | files |
| Thu, 07 Jul 2016 12:01:15 +0200 | Walther Neuper | cleanup preparing: isac-java <--Term-- kernel | changeset | files |
| Wed, 06 Jul 2016 15:07:23 +0200 | Natalie Karl | TermTree concerned files moved packages | changeset | files |
| Wed, 06 Jul 2016 15:02:43 +0200 | Natalie Karl | merged | changeset | files |
| Wed, 06 Jul 2016 15:02:29 +0200 | Natalie Karl | TermTree Window is now (accessibly) closable | changeset | files |
| Wed, 06 Jul 2016 13:58:21 +0200 | Walther Neuper | === changed kernel version (HEAD of CalcHead carries Term): update required | changeset | files |
| Tue, 05 Jul 2016 11:57:40 +0200 | Walther Neuper | === change versions tutor|kernel: try to make TestAll run | changeset | files |
| Tue, 05 Jul 2016 11:47:19 +0200 | Walther Neuper | === change versions tutor|kernel: step back to old kernel-version | changeset | files |
| Thu, 30 Jun 2016 18:29:31 +0200 | Natalie Karl | TermTree has a soundmodel | changeset | files |
| Mon, 20 Jun 2016 15:23:20 +0200 | Walther Neuper | merged | changeset | files |
| Mon, 20 Jun 2016 15:23:05 +0200 | Walther Neuper | stub for audio representation of terms | changeset | files |
| 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 |