src/Tools/jEdit/makedist
2010-06-07 wenzelm 2010-06-07 no symlinks; tuned;
2010-05-31 wenzelm 2010-05-31 notes on Isabelle/jEdit;
2009-12-22 wenzelm 2009-12-22 renamed session.info to session.root;
2009-12-21 wenzelm 2009-12-21 added isabelle-session mode for session.info files;
2009-07-05 wenzelm 2009-07-05 updated to jedit 4.3pre17 -- no longer provide separate ml.xml;
2009-03-20 wenzelm 2009-03-20 more robust copying of jars;
2009-02-01 immler 2009-02-01 modified netbeans build such that dist can be used as settings-directory for jedit; adapted explicit makedist
2009-01-16 wenzelm 2009-01-16 removed jEdit/build-support (belongs to src distribution);
2009-01-11 wenzelm 2009-01-11 failsafe mkdir;
2009-01-10 immler 2009-01-10 create folder 'jars' before copying
2008-12-20 wenzelm 2008-12-20 basic isabelle mode setup;
2008-12-20 wenzelm 2008-12-20 updated to 4.3pre16;
2008-12-20 wenzelm 2008-12-20 removed jEdit sources from target;
2008-12-02 immler 2008-12-02 include Sidekick its dependency ErrorList in dist
2008-11-19 wenzelm 2008-11-19 adapted jar locations;
2008-10-21 wenzelm 2008-10-21 make Isabelle/jEdit distribution;