| Wed, 09 Jan 2002 13:43:05 +0100 | paulson | changed the index sort key from |-| to just |- because pdflatex can't cope | file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Tue, 03 Aug 1999 13:05:54 +0200 | paulson | \underscoreoff needed because of \underscoreon in previous file | file | diff | annotate |
| Wed, 03 Feb 1999 13:23:24 +0100 | paulson | standard spelling: type-checking | file | diff | annotate |
| Fri, 08 Jan 1999 14:02:04 +0100 | paulson | removal of FOL, ZF to a separate manual | file | diff | annotate |
| Thu, 16 Jul 1998 11:50:01 +0200 | paulson | Got rid of obsolete "goal" commands. | file | diff | annotate |
| Wed, 07 May 1997 18:35:56 +0200 | wenzelm | fixed caption font; | file | diff | annotate |