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