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