src/Doc/manual.bib
8 months ago wenzelm 2018-11-15 proper citation (amending d8205bb279a7);
12 months ago wenzelm 2018-07-18 prefer HTTPS;
13 months ago wenzelm 2018-06-26 add URL;
17 months ago Lars Hupel 2018-02-12 corrected some URLs
17 months ago Lars Hupel 2018-02-11 use preferred resolver according to DOI Handbook ยง3.8
19 months ago wenzelm 2017-12-28 more accurate bibtex entries;
19 months ago wenzelm 2017-12-24 fewer warnings;
19 months ago wenzelm 2017-12-20 updated URL;
20 months ago blanchet 2017-11-07 integrated Leo-III in Sledgehammer (thanks to Alexander Steen for the patch)
23 months ago haftmann 2017-08-01 tuned references
2016-10-24 blanchet 2016-10-24 tuned documentation
2016-04-18 haftmann 2016-04-18 fragment of a HOL type class primer
2016-03-30 blanchet 2016-03-30 more 'corec' docs
2016-03-29 blanchet 2016-03-29 more 'corec' documentation
2016-02-10 wenzelm 2016-02-10 misc tuning and updates;
2016-02-01 blanchet 2016-02-01 updated HOL-specific section w.r.t. datatypes
2016-01-13 wenzelm 2016-01-13 updated section on "Overloaded constant definitions";
2015-12-31 wenzelm 2015-12-31 discontinued documentation of old browser; tuned;
2015-12-04 blanchet 2015-12-04 tuned docs
2015-09-25 wenzelm 2015-09-25 documentation for "Semantic subtype definitions"; misc tuning and simplification;
2015-05-25 wenzelm 2015-05-25 merged, resolving conflicts in Admin/isatest/settings/afp-poly and src/HOL/Tools/Nitpick/nitpick_model.ML;
2015-05-06 wenzelm 2015-05-06 tuned;
2015-05-06 wenzelm 2015-05-06 proper bib entry;
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;