| 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 |