Admin/build
2014-04-23 wenzelm 2014-04-23 updated workaround;
2013-09-12 wenzelm 2013-09-12 tuned comments;
2013-09-07 wenzelm 2013-09-07 odd workaround for scalac to enable nohup;
2012-09-05 wenzelm 2012-09-05 eliminated potentially confusing terminology of Scala "layer";
2012-08-28 wenzelm 2012-08-28 more formal build_doc tool (Admin only); removed some doc-src junk;
2012-08-06 wenzelm 2012-08-06 discontinued presumably obsolete attempts at doc-src testing (cf. 3b02b0ef8d48, 89cc3dfb383b);
2012-07-25 wenzelm 2012-07-25 rail no longer exists;
2012-04-09 wenzelm 2012-04-09 slightly faster default compilation of Isabelle/Scala;
2012-03-26 wenzelm 2012-03-26 more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
2012-03-14 haftmann 2012-03-14 doc-src build option (for emerging mira configuration)
2011-11-07 wenzelm 2011-11-07 offline build of java_ext_dirs.jar, to avoid runtime dependency on javac/jar executables;
2011-09-26 wenzelm 2011-09-26 ensure Isabelle env;
2011-06-23 wenzelm 2011-06-23 provide Isabelle/Scala environment as Java extension, instead of user classpath (which is subject to adhoc changes);
2011-06-08 wenzelm 2011-06-08 support fresh build of jars; prefer pushd/popd, to avoid unclarity about fail/exit within sub-shell;
2010-01-11 wenzelm 2010-01-11 clarified terminology;
2010-01-09 wenzelm 2010-01-09 pass build error code;
2010-01-06 wenzelm 2010-01-06 tuned Isabelle/Scala 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.