Admin/build
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.