doc-src/IsarImplementation/style.sty
2011-05-03 wenzelm 2011-05-03 use existing \<hyphen>;
2011-05-03 wenzelm 2011-05-03 simplified rail configuration;
2011-05-03 wenzelm 2011-05-03 treat underscore as in IsarRef;
2010-11-07 wenzelm 2010-11-07 more literal appearance of antiqopen/antiqclose;
2010-10-17 wenzelm 2010-10-17 use continental paragraph style, which works better with mixture of (in)formal text; tuned skips and indents; tuned;
2010-10-09 wenzelm 2010-10-09 clarified tag markup;
2010-10-08 wenzelm 2010-10-08 keep normal size for %mlref tag;
2010-10-08 wenzelm 2010-10-08 eliminated fancy \ML logo for the sake of simpler source text (less dependence on LaTeX); eliminated Isar toplevel invocation functions, which belong to TTY/ProofGeneral model; moved remaining "ML toplevel" material to "Compile-time context";
2010-01-29 wenzelm 2010-01-29 basic setup for ML examples: tag "mlex";
2010-01-28 wenzelm 2010-01-28 make underscores visually appear as such, although TeX-nically they are just rules (e.g. cannot be searched);
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-04 blanchet 2009-03-04 Merge.
2009-02-26 wenzelm 2009-02-26 uniform treatment of ML indexing, using general \indexdef macro for formal Isabelle/Isar entities; more robust handling of "|" within index;
2009-02-21 wenzelm 2009-02-21 replaced \overline by \vec;
2009-02-17 wenzelm 2009-02-17 some more Isar macros;
2009-02-16 wenzelm 2009-02-16 removed rudiments of glossary;
2008-05-02 wenzelm 2008-05-02 moved begin and imports to ../isar.sty;
2007-05-08 wenzelm 2007-05-08 tuned;
2007-02-10 haftmann 2007-02-10 added antiquotation for exceptions
2006-09-15 wenzelm 2006-09-15 tuned;
2006-09-11 wenzelm 2006-09-11 tuned;
2006-09-07 wenzelm 2006-09-07 tuned;
2006-09-05 wenzelm 2006-09-05 added \isactrlvec;
2006-09-04 wenzelm 2006-09-04 more on variables; tuned;
2006-08-31 wenzelm 2006-08-31 misc cleanup;
2006-08-31 wenzelm 2006-08-31 mldecls: footnotesize;
2006-07-06 wenzelm 2006-07-06 tuned;
2006-01-03 wenzelm 2006-01-03 more stuff;
2006-01-02 wenzelm 2006-01-02 "The Isabelle/Isar Implementation" manual;