Admin/build
Thu, 12 Sep 2013 14:06:08 +0200 wenzelm tuned comments;
Sat, 07 Sep 2013 11:02:27 +0200 wenzelm odd workaround for scalac to enable nohup;
Wed, 05 Sep 2012 20:54:40 +0200 wenzelm eliminated potentially confusing terminology of Scala "layer";
Tue, 28 Aug 2012 17:49:02 +0200 wenzelm more formal build_doc tool (Admin only);
Mon, 06 Aug 2012 14:19:56 +0200 wenzelm discontinued presumably obsolete attempts at doc-src testing (cf. 3b02b0ef8d48, 89cc3dfb383b);
Wed, 25 Jul 2012 12:39:35 +0200 wenzelm rail no longer exists;
Mon, 09 Apr 2012 20:57:23 +0200 wenzelm slightly faster default compilation of Isabelle/Scala;
Mon, 26 Mar 2012 16:25:08 +0200 wenzelm more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
Wed, 14 Mar 2012 15:54:54 +0100 haftmann doc-src build option (for emerging mira configuration)
Mon, 07 Nov 2011 14:59:58 +0100 wenzelm offline build of java_ext_dirs.jar, to avoid runtime dependency on javac/jar executables;
Mon, 26 Sep 2011 21:41:39 +0200 wenzelm ensure Isabelle env;
Thu, 23 Jun 2011 16:10:22 +0200 wenzelm provide Isabelle/Scala environment as Java extension, instead of user classpath
Wed, 08 Jun 2011 17:11:00 +0200 wenzelm support fresh build of jars;
Mon, 11 Jan 2010 23:41:06 +0100 wenzelm clarified terminology;
Sat, 09 Jan 2010 18:22:40 +0100 wenzelm pass build error code;
Wed, 06 Jan 2010 22:21:25 +0100 wenzelm tuned Isabelle/Scala build;
Wed, 06 Jan 2010 22:18:52 +0100 wenzelm simplified build/bootstrap of graph browser -- avoid make;
Wed, 06 Jan 2010 20:00:22 +0100 wenzelm simplified build/bootstrap of Isabelle/Scala components -- avoid make;
Sun, 28 Jun 2009 17:55:44 +0200 wenzelm clarified "jars" target;
Sun, 28 Dec 2008 23:20:57 +0100 wenzelm disabled old jedit plugin;
Tue, 23 Dec 2008 11:04:07 +0100 wenzelm updated scala path;
Wed, 03 Dec 2008 21:15:46 +0100 wenzelm eliminated traces of old Distribution directory;
Sat, 04 Oct 2008 17:40:56 +0200 wenzelm simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
Sat, 04 Oct 2008 16:05:09 +0200 wenzelm replaced ISATOOL by ISABELLE_TOOL;
Sat, 23 Aug 2008 23:24:16 +0200 wenzelm jars: removed obsolete Java process wrapper (cf. new Pure.jar);
Sat, 16 Aug 2008 13:32:23 +0200 wenzelm more robust handling of directory layout variants;
Fri, 15 Aug 2008 22:16:13 +0200 wenzelm jars: build Pure.jar;
Sat, 19 Jul 2008 11:05:18 +0200 wenzelm build jedit plugin only if jedit is available;
Fri, 18 Jul 2008 17:09:48 +0200 wenzelm fixed Scala path;
Thu, 17 Jul 2008 21:24:26 +0200 wenzelm tuned build order;
Thu, 17 Jul 2008 15:33:01 +0200 wenzelm less verbosity;
Thu, 17 Jul 2008 15:26:04 +0200 wenzelm Administrative build -- finish Isabelle source distribution.
less more (0) tip