doc/Contents
2016-03-29 blanchet 2016-03-29 added sketchy 'corec' documentation
2016-02-19 wenzelm 2016-02-19 tutorial is old;
2015-05-17 wenzelm 2015-05-17 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository;
2014-04-05 wenzelm 2014-04-05 tuned -- just one qualification of sections ("!");
2014-04-05 wenzelm 2014-04-05 explicit indication of important doc sections ("!"), which are expanded in the tree view;
2013-09-21 wenzelm 2013-09-21 basic setup for Isabelle/jEdit documentation;
2013-07-30 blanchet 2013-07-30 sketched documentation for new (co)datatype package
2013-07-07 wenzelm 2013-07-07 reduced number of old manuals: chapter HOL is back again to the Logics manual by Larry;
2013-06-18 wenzelm 2013-06-18 eliminated old "ref" manual;
2012-11-23 wenzelm 2012-11-23 more uniform title, follow-up to 928cb8b35e6e;
2012-08-28 wenzelm 2012-08-28 removed historic manual;
2012-04-03 wenzelm 2012-04-03 prefer prog-prove, suppress isar-overview;
2012-04-03 wenzelm 2012-04-03 formal integration of "prog-prove" manual; "main" is a reference manual;
2011-09-07 wenzelm 2011-09-07 some updates for release;
2011-01-16 wenzelm 2011-01-16 misc updates for release;
2010-05-14 blanchet 2010-05-14 added Sledgehammer documentation to TOC
2009-10-26 wenzelm 2009-10-26 added nitpick manual here;
2009-04-02 wenzelm 2009-04-02 misc tuning for release;
2009-03-12 wenzelm 2009-03-12 updated according to actual manual title;
2009-03-11 wenzelm 2009-03-11 tuned;
2009-03-11 wenzelm 2009-03-11 basic setup for "main" as generated Isabelle manual;
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-04 blanchet 2009-03-04 Merge.
2009-02-26 wenzelm 2009-02-26 more explicit indication of old manuals;
2009-02-15 wenzelm 2009-02-15 explicit section for old/outdated manuals, which are still informative to some extent;
2007-10-31 haftmann 2007-10-31 dropped AxClass
2007-10-30 haftmann 2007-10-30 added omission
2007-04-20 haftmann 2007-04-20 added class tutorial
2006-12-18 haftmann 2006-12-18 added functions tutorial
2006-10-10 haftmann 2006-10-10 added IsarAdvanced material
2006-10-02 haftmann 2006-10-02 restructured contents
2006-01-03 wenzelm 2006-01-03 added implementation manual;
2004-12-06 kleing 2004-12-06 add latex sugar
2004-11-17 kleing 2004-11-17 removed Exercises document (available on separate web site now)
2004-04-16 kleing 2004-04-16 add locales
2004-03-29 kleing 2004-03-29 include exercises again
2004-03-29 kleing 2004-03-29 put in sections, reorganized, removed intro to isabelle
2003-05-12 kleing 2003-05-12 added isar-overview
2003-03-01 kleing 2003-03-01 added exercises
2000-07-04 wenzelm 2000-07-04 tuned;
1999-07-19 wenzelm 1999-07-19 added isar-ref;
1999-05-04 wenzelm 1999-05-04 updated;
1998-08-27 wenzelm 1998-08-27 made tutorial first;
1998-08-26 wenzelm 1998-08-26 fixed tutorial;
1998-08-26 wenzelm 1998-08-26 added HOL tutorial;
1997-05-12 wenzelm 1997-05-12 added system, ind_defs, axclass;
1996-12-09 wenzelm 1996-12-09 Contents - list of available documentation;