Sat, 20 Dec 2008 12:17:43 +0100 | wenzelm | updated to 4.3pre16; | file | diff | annotate |
Sat, 20 Dec 2008 11:07:02 +0100 | wenzelm | removed jEdit sources from target; | file | diff | annotate |
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 |