doc-src/IsarImplementation/style.sty
Sun, 07 Nov 2010 22:26:25 +0100 wenzelm more literal appearance of antiqopen/antiqclose;
Sun, 17 Oct 2010 20:25:36 +0100 wenzelm use continental paragraph style, which works better with mixture of (in)formal text;
Sat, 09 Oct 2010 19:05:31 +0100 wenzelm clarified tag markup;
Fri, 08 Oct 2010 21:11:56 +0100 wenzelm keep normal size for %mlref tag;
Fri, 08 Oct 2010 17:41:51 +0100 wenzelm eliminated fancy \ML logo for the sake of simpler source text (less dependence on LaTeX);
Fri, 29 Jan 2010 23:57:57 +0100 wenzelm basic setup for ML examples: tag "mlex";
Thu, 28 Jan 2010 22:19:27 +0100 wenzelm make underscores visually appear as such, although TeX-nically they are just rules (e.g. cannot be searched);
Wed, 04 Mar 2009 11:05:29 +0100 blanchet Merge.
Wed, 04 Mar 2009 10:45:52 +0100 blanchet Merge.
Thu, 26 Feb 2009 20:44:07 +0100 wenzelm uniform treatment of ML indexing, using general \indexdef macro for formal Isabelle/Isar entities;
Sat, 21 Feb 2009 18:06:17 +0100 wenzelm replaced \overline by \vec;
Tue, 17 Feb 2009 22:46:41 +0100 wenzelm some more Isar macros;
Mon, 16 Feb 2009 21:23:33 +0100 wenzelm removed rudiments of glossary;
Fri, 02 May 2008 16:39:44 +0200 wenzelm moved begin and imports to ../isar.sty;
Tue, 08 May 2007 15:36:39 +0200 wenzelm tuned;
less more (0) -15 tip