doc-src/IsarImplementation/Makefile
2011-05-01 wenzelm 2011-05-01 eliminated copies of isabelle style files;
2011-05-01 wenzelm 2011-05-01 use @{rail} antiquotation (with some nested markup); eliminated separate rail/latex phase;
2010-10-08 wenzelm 2010-10-08 basic setup for ML antiquotations -- with rail diagrams; tuned;
2009-03-06 wenzelm 2009-03-06 more precise deps;
2009-02-26 wenzelm 2009-02-26 basic setup for chapter "Syntax and type-checking";
2009-02-16 wenzelm 2009-02-16 removed rudiments of glossary;
2009-02-16 wenzelm 2009-02-16 observe usual theory naming conventions;
2008-05-15 wenzelm 2008-05-15 use ../isabelle.sty, ../isabellesym.sty;
2008-05-15 wenzelm 2008-05-15 depend on ../pdfsetup.sty;
2006-01-02 wenzelm 2006-01-02 "The Isabelle/Isar Implementation" manual;