| Mon, 24 Oct 2016 12:16:12 +0200 |
wenzelm |
discontinued unused / untested distinction of separate PIDE modules;
|
file |
diff |
annotate
|
| Mon, 27 Oct 2014 16:11:24 +0100 |
wenzelm |
clarified ISABELLE_JDK_HOME vs. JAVA_HOME;
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 15:11:42 +0200 |
wenzelm |
more workarounds for scalac;
|
file |
diff |
annotate
|
| Wed, 23 Apr 2014 10:38:56 +0200 |
wenzelm |
updated workaround;
|
file |
diff |
annotate
|
| 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
|