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 |
Mon, 15 Dec 2008 09:58:44 +0100 | haftmann | \underscoreoff is now default | file | diff | annotate |
Mon, 08 Dec 2008 10:27:40 +0100 | haftmann | tuned LaTeX files | file | diff | annotate |
Sun, 04 May 2008 21:34:44 +0200 | wenzelm | removed isasymIMPORTS/BEGIN -- already defined in isar.sty; | file | diff | annotate |
Tue, 10 Oct 2006 12:08:12 +0200 | haftmann | initial draft | file | diff | annotate |