Admin/build
2010-01-11 ago clarified terminology;
2010-01-09 ago pass build error code;
2010-01-06 ago tuned Isabelle/Scala build;
2010-01-06 ago simplified build/bootstrap of graph browser -- avoid make;
2010-01-06 ago simplified build/bootstrap of Isabelle/Scala components -- avoid make;
2009-06-28 ago clarified "jars" target;
2008-12-28 ago disabled old jedit plugin;
2008-12-23 ago updated scala path;
2008-12-03 ago eliminated traces of old Distribution directory;
2008-10-04 ago simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2008-10-04 ago replaced ISATOOL by ISABELLE_TOOL;
2008-08-23 ago jars: removed obsolete Java process wrapper (cf. new Pure.jar);
2008-08-16 ago more robust handling of directory layout variants;
2008-08-15 ago jars: build Pure.jar;
2008-07-19 ago build jedit plugin only if jedit is available;
2008-07-18 ago fixed Scala path;
2008-07-17 ago tuned build order;
2008-07-17 ago less verbosity;
2008-07-17 ago Administrative build -- finish Isabelle source distribution.