Sun, 24 Aug 2008 18:11:20 +0200 | repackaged as isabelle.jedit; | file | diff | annotate |
Sat, 23 Aug 2008 23:07:30 +0200 | adapted to new IsabelleProcess from Pure.jar; | file | diff | annotate |
Wed, 23 Jan 2008 22:57:11 +0100 | exceptions: assign result = null properly; | file | diff | annotate |
Sun, 06 Jan 2008 16:57:25 +0100 | basic setup for Isabelle/jEdit plugin; | file | diff | annotate |