| Tue, 03 May 2011 21:44:05 +0200 | wenzelm | use existing \<hyphen>; | file | diff | annotate |
| Tue, 03 May 2011 21:29:25 +0200 | wenzelm | simplified rail configuration; | file | diff | annotate |
| Tue, 03 May 2011 15:35:07 +0200 | wenzelm | treat underscore as in IsarRef; | file | diff | annotate |
| Sun, 07 Nov 2010 22:26:25 +0100 | wenzelm | more literal appearance of antiqopen/antiqclose; | file | diff | annotate |
| Sun, 17 Oct 2010 20:25:36 +0100 | wenzelm | use continental paragraph style, which works better with mixture of (in)formal text; | file | diff | annotate |
| Sat, 09 Oct 2010 19:05:31 +0100 | wenzelm | clarified tag markup; | file | diff | annotate |
| Fri, 08 Oct 2010 21:11:56 +0100 | wenzelm | keep normal size for %mlref tag; | file | diff | annotate |
| Fri, 08 Oct 2010 17:41:51 +0100 | wenzelm | eliminated fancy \ML logo for the sake of simpler source text (less dependence on LaTeX); | file | diff | annotate |
| Fri, 29 Jan 2010 23:57:57 +0100 | wenzelm | basic setup for ML examples: tag "mlex"; | file | diff | annotate |
| 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); | file | diff | annotate |
| Wed, 04 Mar 2009 11:05:29 +0100 | blanchet | Merge. | file | diff | annotate |
| Wed, 04 Mar 2009 10:45:52 +0100 | blanchet | Merge. | file | diff | annotate |
| Thu, 26 Feb 2009 20:44:07 +0100 | wenzelm | uniform treatment of ML indexing, using general \indexdef macro for formal Isabelle/Isar entities; | file | diff | annotate |
| Sat, 21 Feb 2009 18:06:17 +0100 | wenzelm | replaced \overline by \vec; | file | diff | annotate |
| Tue, 17 Feb 2009 22:46:41 +0100 | wenzelm | some more Isar macros; | file | diff | annotate |
| Mon, 16 Feb 2009 21:23:33 +0100 | wenzelm | removed rudiments of glossary; | file | diff | annotate |
| Fri, 02 May 2008 16:39:44 +0200 | wenzelm | moved begin and imports to ../isar.sty; | file | diff | annotate |
| Tue, 08 May 2007 15:36:39 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 10 Feb 2007 09:26:07 +0100 | haftmann | added antiquotation for exceptions | file | diff | annotate |
| Fri, 15 Sep 2006 22:56:08 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 11 Sep 2006 12:27:21 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 07 Sep 2006 20:12:08 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 05 Sep 2006 22:04:56 +0200 | wenzelm | added \isactrlvec; | file | diff | annotate |
| Mon, 04 Sep 2006 16:28:27 +0200 | wenzelm | more on variables; | file | diff | annotate |
| Thu, 31 Aug 2006 22:55:49 +0200 | wenzelm | misc cleanup; | file | diff | annotate |
| Thu, 31 Aug 2006 17:33:48 +0200 | wenzelm | mldecls: footnotesize; | file | diff | annotate |
| Thu, 06 Jul 2006 16:49:36 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 03 Jan 2006 13:59:55 +0100 | wenzelm | more stuff; | file | diff | annotate |
| Mon, 02 Jan 2006 20:16:52 +0100 | wenzelm | "The Isabelle/Isar Implementation" manual; | file | diff | annotate |