Sat, 05 Apr 2014 23:56:21 +0200 |
tuned;
|
file | diff | annotate |
Sat, 05 Apr 2014 23:17:30 +0200 |
re-implemented build_doc in Isabelle/Scala;
|
file | diff | annotate |
Mon, 26 Aug 2013 16:51:53 +0200 |
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 |
documentation is always in PDF;
|
file | diff | annotate |
Tue, 04 Sep 2012 20:45:43 +0200 |
added build option -R;
|
file | diff | annotate |
Mon, 03 Sep 2012 11:30:29 +0200 |
tuned boundary cases of command-line;
|
file | diff | annotate |
Wed, 29 Aug 2012 21:27:32 +0200 |
approximative build of pdf documents in 1 pass instead of 3;
|
file | diff | annotate |
Wed, 29 Aug 2012 20:54:49 +0200 |
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 |
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 |
more formal build_doc tool (Admin only);
|
file | diff | annotate |