| Mon, 21 Jan 2002 17:02:52 +0100 | wenzelm | reset show_hyps by default (in accordance to existing Isar practice); | file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Sat, 01 Jul 2000 19:56:46 +0200 | wenzelm | eta_contract: no default; | file | diff | annotate |