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