Thu, 10 Mar 2016 17:30:04 +0100 |
wenzelm |
prefer plain "isabelle" from PATH within Isabelle settings environment;
|
file |
diff |
annotate
|
Sat, 27 Feb 2016 16:52:30 +0100 |
wenzelm |
moved getopts to Scala;
|
file |
diff |
annotate
|
Tue, 08 Sep 2015 17:34:46 +0200 |
wenzelm |
clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component);
|
file |
diff |
annotate
|
Sat, 05 Apr 2014 23:56:21 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 05 Apr 2014 23:17:30 +0200 |
wenzelm |
re-implemented build_doc in Isabelle/Scala;
|
file |
diff |
annotate
|
Mon, 26 Aug 2013 16:51:53 +0200 |
wenzelm |
prefer build_doc -s to avoid heaps left behind in $ISABELLE_HOME_USER (especially relevant to isatest);
|
file |
diff |
annotate
|
Sat, 27 Jul 2013 21:01:35 +0200 |
wenzelm |
documentation is always in PDF;
|
file |
diff |
annotate
|
Tue, 04 Sep 2012 20:45:43 +0200 |
wenzelm |
added build option -R;
|
file |
diff |
annotate
|
Mon, 03 Sep 2012 11:30:29 +0200 |
wenzelm |
tuned boundary cases of command-line;
|
file |
diff |
annotate
|
Wed, 29 Aug 2012 21:27:32 +0200 |
wenzelm |
approximative build of pdf documents in 1 pass instead of 3;
|
file |
diff |
annotate
|
Wed, 29 Aug 2012 20:54:49 +0200 |
wenzelm |
one more round to ensure that base images are already there, without producing document output themselves;
|
file |
diff |
annotate
|
Tue, 28 Aug 2012 20:10:53 +0200 |
wenzelm |
prefer cp over mv, to reduce assumptions about file-system boundaries and GNU vs. non-GNU tools;
|
file |
diff |
annotate
|
Tue, 28 Aug 2012 17:49:02 +0200 |
wenzelm |
more formal build_doc tool (Admin only);
|
file |
diff |
annotate
|