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