| 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 |
| Mon, 22 May 2000 11:57:27 +0200 | wenzelm | show_consts no longer requires show_types; | file | diff | annotate |
| Tue, 18 Jan 2000 11:33:31 +0100 | paulson | fixed many bad line & page breaks | file | diff | annotate |
| Sun, 31 Oct 1999 20:11:23 +0100 | wenzelm | updated; | file | diff | annotate |
| Fri, 24 Sep 1999 12:22:59 +0200 | wenzelm | tuned; | file | diff | annotate |