2012-07-26 wenzelm [Thu, 26 Jul 2012 17:17:53 +0200] rev 48520
more build options;
etc/options src/Pure/System/build.ML

2012-07-26 wenzelm [Thu, 26 Jul 2012 17:16:02 +0200] rev 48519
simplified Tutorial sessions;
moved original version of generated .tex sources;
doc-src/TutorialI/Advanced/ROOT.ML doc-src/TutorialI/Advanced/document/Partial.tex doc-src/TutorialI/Advanced/document/WFrec.tex doc-src/TutorialI/Advanced/document/simp2.tex doc-src/TutorialI/CTL/ROOT.ML doc-src/TutorialI/CTL/document/Base.tex doc-src/TutorialI/CTL/document/CTL.tex doc-src/TutorialI/CTL/document/CTLind.tex doc-src/TutorialI/CTL/document/PDL.tex doc-src/TutorialI/CodeGen/ROOT.ML doc-src/TutorialI/CodeGen/document/CodeGen.tex doc-src/TutorialI/Datatype/ROOT.ML doc-src/TutorialI/Datatype/document/ABexpr.tex doc-src/TutorialI/Datatype/document/Fundata.tex doc-src/TutorialI/Datatype/document/Nested.tex doc-src/TutorialI/Datatype/document/unfoldnested.tex doc-src/TutorialI/Documents/ROOT.ML doc-src/TutorialI/Documents/document/Documents.tex doc-src/TutorialI/Documents/documents.tex doc-src/TutorialI/Fun/ROOT.ML doc-src/TutorialI/Fun/document/fun0.tex doc-src/TutorialI/Ifexpr/ROOT.ML doc-src/TutorialI/Ifexpr/document/Ifexpr.tex doc-src/TutorialI/Inductive/ROOT.ML doc-src/TutorialI/Inductive/document/AB.tex doc-src/TutorialI/Inductive/document/Advanced.tex doc-src/TutorialI/Inductive/document/Even.tex doc-src/TutorialI/Inductive/document/Mutual.tex doc-src/TutorialI/Inductive/document/Star.tex doc-src/TutorialI/IsaMakefile doc-src/TutorialI/Misc/ROOT.ML doc-src/TutorialI/Misc/document/AdvancedInd.tex doc-src/TutorialI/Misc/document/Itrev.tex doc-src/TutorialI/Misc/document/Option2.tex doc-src/TutorialI/Misc/document/Plus.tex doc-src/TutorialI/Misc/document/Tree.tex doc-src/TutorialI/Misc/document/Tree2.tex doc-src/TutorialI/Misc/document/appendix.tex doc-src/TutorialI/Misc/document/case_exprs.tex doc-src/TutorialI/Misc/document/fakenat.tex doc-src/TutorialI/Misc/document/natsum.tex doc-src/TutorialI/Misc/document/pairs.tex doc-src/TutorialI/Misc/document/prime_def.tex doc-src/TutorialI/Misc/document/simp.tex doc-src/TutorialI/Misc/document/types.tex doc-src/TutorialI/Protocol/ROOT.ML doc-src/TutorialI/Protocol/document/Event.tex doc-src/TutorialI/Protocol/document/Message.tex doc-src/TutorialI/Protocol/document/NS_Public.tex doc-src/TutorialI/Protocol/document/Public.tex ...

2012-07-26 wenzelm [Thu, 26 Jul 2012 16:54:44 +0200] rev 48518
proper arguments for old usedir;
src/Pure/System/session.ML

2012-07-26 wenzelm [Thu, 26 Jul 2012 14:44:07 +0200] rev 48517
more precise imports;
doc-src/ZF/FOL_examples.thy doc-src/ZF/If.thy

2012-07-26 wenzelm [Thu, 26 Jul 2012 14:29:54 +0200] rev 48516
refined "document_dump_mode": "all", "tex+sty", "tex";
doc-src/ROOT etc/options src/Pure/System/build.ML src/Pure/System/session.ML src/Pure/Thy/present.ML

2012-07-26 wenzelm [Thu, 26 Jul 2012 14:24:27 +0200] rev 48515
allow spaces in file names;
lib/Tools/latex

2012-07-26 wenzelm [Thu, 26 Jul 2012 14:22:37 +0200] rev 48514
more files for session Pure;
src/Pure/ROOT

2012-07-26 wenzelm [Thu, 26 Jul 2012 13:38:43 +0200] rev 48513
discontinued slightly odd "browser_info_remote" -- it could point to a completely different version of the Isabelle library;
etc/options src/Pure/System/build.ML

2012-07-26 wenzelm [Thu, 26 Jul 2012 13:35:31 +0200] rev 48512
tuned;
src/HOL/ROOT src/Pure/System/build.ML

2012-07-26 wenzelm [Thu, 26 Jul 2012 12:59:09 +0200] rev 48511
remove old output heaps, to ensure that result is valid wrt. check_stamps;
tuned signature;
lib/Tools/build src/Pure/System/build.ML src/Pure/System/build.scala src/Pure/build