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