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