doc-src/IsarRef/IsaMakefile
2011-05-31 wenzelm 2011-05-31 added Synopsis, with some "Notepad" material;
2011-05-31 wenzelm 2011-05-31 turned "Overview" into "Preface" (similar to doc-src/Intro/intro.tex);
2011-05-03 wenzelm 2011-05-03 formal Base theory;
2011-02-08 wenzelm 2011-02-08 reverted slightly odd eb5900951702: isatest-doc should work again due to 4b08499b3db1 (polyml-5.3.0 supports proper TimeLimit, as required for HOL-Nitpick-Examples);
2011-02-08 kleing 2011-02-08 Explicitly build HOLCF and ZF images. They are not part of the release any more.
2009-03-11 wenzelm 2009-03-11 delete unused generated files;
2009-03-11 wenzelm 2009-03-11 tuned;
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-04 blanchet 2009-03-04 Merge.
2009-02-12 wenzelm 2009-02-12 added example "First-Order Logic" -- mostly from Trybulec Festschrift;
2009-02-09 wenzelm 2009-02-09 basic setup for chapter "The Isabelle/Isar Framework";
2008-11-18 wenzelm 2008-11-18 moved table of standard Isabelle symbols to isar-ref manual;
2008-11-13 wenzelm 2008-11-13 separate chapter "Inner syntax --- the term language";
2008-10-04 wenzelm 2008-10-04 replaced ISATOOL by ISABELLE_TOOL;
2008-06-02 wenzelm 2008-06-02 removed onsolete pure.thy (cf. Misc.thy);
2008-06-02 wenzelm 2008-06-02 added Document_Preparation;
2008-06-02 wenzelm 2008-06-02 renamed theory "syntax" to "Outer_Syntax";
2008-06-02 wenzelm 2008-06-02 renamed theory "intro" to "Introduction";
2008-05-09 wenzelm 2008-05-09 added chapters for "Specifications" and "Proofs";
2008-05-08 wenzelm 2008-05-08 converted HOL specific elements;
2008-05-07 wenzelm 2008-05-07 removed obsolete conversion guide -- converted only section on tactics;
2008-05-07 wenzelm 2008-05-07 added logic-specific sessions;
2008-05-05 wenzelm 2008-05-05 converted generic.tex to Thy/Generic.thy;
2008-05-03 wenzelm 2008-05-03 converted refcard.tex to Thy/Quick_Reference.thy;
2008-05-02 wenzelm 2008-05-02 converted pure.tex to Thy/pure.thy;
2008-04-29 wenzelm 2008-04-29 session based on HOL;
2008-04-28 wenzelm 2008-04-28 converted syntax.tex to Thy/syntax.thy;
2008-04-23 wenzelm 2008-04-23 converted intro.tex to Thy/intro.thy;
2008-04-22 wenzelm 2008-04-22 basic setup for generated document (cf. ../IsarImplementation);