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