doc/Contents
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;