| Mon, 25 Aug 2008 22:26:26 +0200 | wenzelm | explicitly depend on isabelle-Pure.jar and isabelle-scala-library.jar; | file | diff | annotate |
| Sat, 23 Aug 2008 23:17:11 +0200 | wenzelm | updated to Pure.jar; | file | diff | annotate |
| Tue, 03 Jun 2008 11:55:35 +0200 | wenzelm | proper path to isabelle.jar; | file | diff | annotate |
| Sun, 06 Jan 2008 17:11:11 +0100 | wenzelm | added plugin installation; | file | diff | annotate |
| Sun, 07 Oct 2007 13:48:06 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 07 Oct 2007 13:41:31 +0200 | wenzelm | Basic Isabelle mode for jEdit -- http://www.jedit.org/ | file | diff | annotate |