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
|