src/Doc/ROOT
2014-05-02 wenzelm 2014-05-02 more standard doc session specification;
2014-04-11 wenzelm 2014-04-11 more formal dependencies via 'document_files';
2014-04-08 haftmann 2014-04-08 even more standardized doc session names after #b266e7a86485
2014-04-05 haftmann 2014-04-05 closer correspondence of document and session names, while maintaining document names for external reference
2014-02-10 wenzelm 2014-02-10 discontinued axiomatic 'classes', 'classrel', 'arities';
2014-01-29 paulson 2014-01-29 Replacing the theory Library/Binomial by Number_Theory/Binomial
2014-01-20 blanchet 2014-01-20 reduced dependencies + updated docs
2013-10-31 wenzelm 2013-10-31 more on automatically tried tools;
2013-10-12 wenzelm 2013-10-12 more screenshots; tuned;
2013-10-01 krauss 2013-10-01 basic documentation for function elimination rules and fun_cases
2013-09-21 wenzelm 2013-09-21 basic setup for Isabelle/jEdit documentation;
2013-09-13 blanchet 2013-09-13 removed accidentally submitted line
2013-09-13 blanchet 2013-09-13 more (co)data doc
2013-09-11 blanchet 2013-09-11 more (co)data docs
2013-09-11 blanchet 2013-09-11 more (co)data docs
2013-09-03 wenzelm 2013-09-03 more robust ToyList_Test;
2013-08-01 blanchet 2013-08-01 more (co)datatype docs
2013-07-30 blanchet 2013-07-30 sketched documentation for new (co)datatype package
2013-07-27 wenzelm 2013-07-27 more direct inclusion of tikz pictures;
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;