src/Tools/jEdit/makedist
Sat, 20 Dec 2008 11:07:02 +0100 wenzelm removed jEdit sources from target;
Tue, 02 Dec 2008 15:25:24 +0100 immler include Sidekick its dependency ErrorList in dist
Wed, 19 Nov 2008 20:46:54 +0100 wenzelm adapted jar locations;
Tue, 21 Oct 2008 21:47:49 +0200 wenzelm make Isabelle/jEdit distribution;
less more (0) tip