| 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 |