| Tue, 02 Dec 2008 15:25:24 +0100 | immler | include Sidekick its dependency ErrorList in dist | file | diff | annotate |
| Wed, 19 Nov 2008 20:46:54 +0100 | wenzelm | adapted jar locations; | file | diff | annotate |
| Tue, 21 Oct 2008 21:47:49 +0200 | wenzelm | make Isabelle/jEdit distribution; | file | diff | annotate |