| Mon, 25 Aug 2008 22:26:26 +0200 | wenzelm | explicitly depend on isabelle-Pure.jar and isabelle-scala-library.jar; | file | diff | annotate |
| Mon, 25 Aug 2008 21:58:54 +0200 | wenzelm | removed unused ConsolePlugin dependency; | file | diff | annotate |
| Sun, 24 Aug 2008 18:11:20 +0200 | wenzelm | repackaged as isabelle.jedit; | file | diff | annotate |
| Sun, 06 Jan 2008 16:57:25 +0100 | wenzelm | basic setup for Isabelle/jEdit plugin; | file | diff | annotate |