Admin/build
2012-09-05 wenzelm eliminated potentially confusing terminology of Scala "layer";
2012-08-28 wenzelm more formal build_doc tool (Admin only);
2012-08-06 wenzelm discontinued presumably obsolete attempts at doc-src testing (cf. 3b02b0ef8d48, 89cc3dfb383b);
2012-07-25 wenzelm rail no longer exists;
2012-04-09 wenzelm slightly faster default compilation of Isabelle/Scala;
2012-03-26 wenzelm more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
2012-03-14 haftmann doc-src build option (for emerging mira configuration)
2011-11-07 wenzelm offline build of java_ext_dirs.jar, to avoid runtime dependency on javac/jar executables;
2011-09-26 wenzelm ensure Isabelle env;
2011-06-23 wenzelm provide Isabelle/Scala environment as Java extension, instead of user classpath
2011-06-08 wenzelm support fresh build of jars;
2010-01-11 wenzelm clarified terminology;
2010-01-09 wenzelm pass build error code;
2010-01-06 wenzelm tuned Isabelle/Scala build;
2010-01-06 wenzelm simplified build/bootstrap of graph browser -- avoid make;
2010-01-06 wenzelm simplified build/bootstrap of Isabelle/Scala components -- avoid make;
2009-06-28 wenzelm clarified "jars" target;
2008-12-28 wenzelm disabled old jedit plugin;
2008-12-23 wenzelm updated scala path;
2008-12-03 wenzelm eliminated traces of old Distribution directory;
2008-10-04 wenzelm simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2008-10-04 wenzelm replaced ISATOOL by ISABELLE_TOOL;
2008-08-23 wenzelm jars: removed obsolete Java process wrapper (cf. new Pure.jar);
2008-08-16 wenzelm more robust handling of directory layout variants;
2008-08-15 wenzelm jars: build Pure.jar;
2008-07-19 wenzelm build jedit plugin only if jedit is available;
2008-07-18 wenzelm fixed Scala path;
2008-07-17 wenzelm tuned build order;
2008-07-17 wenzelm less verbosity;
2008-07-17 wenzelm Administrative build -- finish Isabelle source distribution.
less more (0) tip