doc-src/IsarImplementation/implementation.tex
2011-05-01 wenzelm 2011-05-01 eliminated copies of isabelle style files;
2010-10-22 wenzelm 2010-10-22 removed ML_old.thy, which is largely superseded by ML.thy;
2010-10-15 wenzelm 2010-10-15 tuned chapter arrangement;
2010-10-08 wenzelm 2010-10-08 basic setup for ML antiquotations -- with rail diagrams; tuned;
2010-10-07 wenzelm 2010-10-07 basic setup for Chapter 0: Isabelle/ML;
2010-02-08 wenzelm 2010-02-08 more quotes;
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-04 blanchet 2009-03-04 Merge.
2009-02-26 wenzelm 2009-02-26 basic setup for chapter "Syntax and type-checking";
2009-02-26 wenzelm 2009-02-26 \bibliographystyle{abbrv} for newer ref manuals;
2009-02-16 wenzelm 2009-02-16 removed rudiments of glossary;
2009-02-16 wenzelm 2009-02-16 observe usual theory naming conventions;
2008-11-13 wenzelm 2008-11-13 more contributors;
2008-05-15 wenzelm 2008-05-15 use ../isabelle.sty, ../isabellesym.sty;
2008-05-09 wenzelm 2008-05-09 added local copy of underscore.sty;
2008-05-08 wenzelm 2008-05-08 improved treatment of "_" thanks to underscore.sty;
2007-05-08 wenzelm 2007-05-08 tuned;
2006-09-12 wenzelm 2006-09-12 more on terms; tuned;
2006-09-07 wenzelm 2006-09-07 tuned;
2006-09-04 wenzelm 2006-09-04 tuned;
2006-09-04 wenzelm 2006-09-04 tuned;
2006-08-31 wenzelm 2006-08-31 misc cleanup;
2006-07-08 wenzelm 2006-07-08 tuned;
2006-07-06 wenzelm 2006-07-06 tuned;
2006-03-04 wenzelm 2006-03-04 tuned;
2006-01-03 wenzelm 2006-01-03 more stuff;
2006-01-02 wenzelm 2006-01-02 "The Isabelle/Isar Implementation" manual;