| Mon, 10 May 1999 17:43:55 +0200 | wenzelm | pdf setup; | file | diff | annotate |
| Wed, 05 May 1999 18:48:02 +0200 | wenzelm | manual.bib; | file | diff | annotate |
| Tue, 04 May 1999 18:27:36 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 12 Jan 1999 15:48:59 +0100 | nipkow | verbatim | file | diff | annotate |