isabelle: File revisions

Admin/lib/Tools/build_doc

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

isabelle