| Sun, 24 Aug 2008 19:02:22 +0200 | wenzelm | rearranged source files; | file | diff | annotate |
| Sun, 24 Aug 2008 18:11:20 +0200 | wenzelm | repackaged as isabelle.jedit; | file | diff | annotate |
| Sat, 23 Aug 2008 23:07:28 +0200 | wenzelm | include ../../classes/Pure.jar; | file | diff | annotate |
| Thu, 17 Jul 2008 16:19:06 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 06 Jan 2008 17:01:45 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 06 Jan 2008 16:57:25 +0100 | wenzelm | basic setup for Isabelle/jEdit plugin; | file | diff | annotate |