| Sat, 20 Dec 2008 14:19:12 +0100 | wenzelm | misc tuning and adaption according to original IsabelleParser -- | file | diff | annotate |
| Fri, 19 Dec 2008 23:11:08 +0100 | wenzelm | added some headers and comments; | file | diff | annotate |
| Fri, 19 Dec 2008 22:24:32 +0100 | wenzelm | added some headers and comments; | file | diff | annotate |
| Thu, 18 Dec 2008 01:10:20 +0100 | immler | restructured: independent provers in different buffers | file | diff | annotate |
| Wed, 10 Dec 2008 14:45:04 +0100 | immler | structure of markup-tree in scala, keep track of swing-nodes in background | file | diff | annotate |
| Sun, 30 Nov 2008 19:18:59 +0100 | immler | basic tree structure for sidekick | file | diff | annotate |