| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Wed, 05 May 1999 16:44:42 +0200 | paulson | Now uses manual.bib; some references updated | file | diff | annotate |
| Wed, 03 Feb 1999 13:23:24 +0100 | paulson | standard spelling: type-checking | file | diff | annotate |
| Wed, 02 Jul 1997 16:46:36 +0200 | paulson | Now there are TWO spaces after each full stop, so that the Emacs sentence | file | diff | annotate |
| Mon, 05 May 1997 18:50:26 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 05 May 1997 13:24:11 +0200 | wenzelm | misc updates, tuning, cleanup; | file | diff | annotate |
| Mon, 22 Jul 1996 16:16:51 +0200 | paulson | Updated BibTeX identifiers | file | diff | annotate |