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