| Mon, 15 Dec 2008 09:58:44 +0100 | \underscoreoff is now default | file | diff | annotate |
| Mon, 08 Dec 2008 10:14:50 +0100 | tuned LaTeX files | file | diff | annotate |
| Sun, 04 May 2008 21:34:44 +0200 | removed isasymIMPORTS/BEGIN -- already defined in isar.sty; | file | diff | annotate |
| Tue, 10 Oct 2006 11:38:43 +0200 | initial draft | file | diff | annotate |