2013-07-27 wenzelm 2013-07-27 obsolete;
2013-07-07 wenzelm 2013-07-07 reduced number of old manuals: chapter HOL is back again to the Logics manual by Larry;
2013-07-02 wenzelm 2013-07-02 clarified Proofterm.proofs vs. Goal.skip_proofs;
2013-06-30 wenzelm 2013-06-30 discontinued system option "proofs" -- global state of Proofterm.proofs is persistently compiled into HOL-Proofs image; discontinued unused proofterms for FOL;
2013-06-25 wenzelm 2013-06-25 more robust options, notably for isatest mac-poly-M8-skip_proofs;
2013-06-18 wenzelm 2013-06-18 eliminated old "ref" manual;
2013-06-18 wenzelm 2013-06-18 more on built-in syntax transformations, based on reduced version of old material;
2013-06-17 wenzelm 2013-06-17 more on concrete syntax of proof terms;
2013-06-17 wenzelm 2013-06-17 more examples on proof terms;
2013-03-27 wenzelm 2013-03-27 allow build with skip_proofs enabled -- disable it for sessions that would fail due to embedded diagnostic commands, for example;
2013-03-11 wenzelm 2013-03-11 support for 'chapter' specifications within session ROOT;
2012-12-07 wenzelm 2012-12-07 eliminated old copy of proof.sty (1995), prefer the one usually included in current latex distributions (2005); \usepackage{proof} only where required;
2012-11-12 wenzelm 2012-11-12 removed somewhat pointless historic material;
2012-11-11 wenzelm 2012-11-11 updated section on ordered rewriting;
2012-11-07 wenzelm 2012-11-07 some coverage of "resolution without lifting", which should be normally avoided;
2012-11-07 wenzelm 2012-11-07 moved classical wrappers to IsarRef; removed somewhat pointless historic material;
2012-09-12 wenzelm 2012-09-12 some attempts to synchronize ROOT/files and document/build;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;