src/Doc/manual.bib
2015-05-04 wenzelm 2015-05-04 tuned;
2015-04-22 blanchet 2015-04-22 improved docs
2014-10-05 wenzelm 2014-10-05 more refs;
2014-09-30 blanchet 2014-09-30 updated docs with two provers: veriT and Zipperposition
2014-07-30 kuncar 2014-07-30 add Isabelle Datatype Manual to the bibliography
2014-07-11 blanchet 2014-07-11 more docs
2014-06-28 wenzelm 2014-06-28 misc tuning;
2014-06-09 wenzelm 2014-06-09 more on command-line invocation -- moved material from system manual;
2014-06-12 blanchet 2014-06-12 tuning
2014-06-12 blanchet 2014-06-12 updated docs
2014-04-01 Andreas Lochbihler 2014-04-01 document value generation for quickcheck's testers
2014-01-22 ballarin 2014-01-22 Locales paper has appeared in print.
2013-11-25 paulson 2013-11-25 tweaks to the documentation
2013-11-11 wenzelm 2013-11-11 merged, using src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML and src/HOL/Tools/Sledgehammer/sledgehammer_run.ML from 347c3b0cab44;
2013-10-14 kuncar 2013-10-14 fix a citation
2013-10-14 kuncar 2013-10-14 update documentation of Lifting/Transfer and Quotient
2013-10-18 blanchet 2013-10-18 doc fixes suggested by Andreas L.
2013-09-21 wenzelm 2013-09-21 basic setup for Isabelle/jEdit documentation;
2013-09-16 blanchet 2013-09-16 more (co)data docs
2013-09-03 ballarin 2013-09-03 Further clarifies sublocale and rewrite morphisms.
2013-08-21 haftmann 2013-08-21 reference to datatype refinment paper
2013-08-01 blanchet 2013-08-01 minor doc fixes
2013-07-31 blanchet 2013-07-31 more (co)datatype documentation
2013-05-20 blanchet 2013-05-20 updated Sledgehammer docs
2013-01-26 wenzelm 2013-01-26 some updates concerning Proof General;
2012-11-20 wenzelm 2012-11-20 some documentation for "algebra" in HOL;
2012-11-19 wenzelm 2012-11-19 more refs;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;