| Tue, 18 May 1999 12:34:42 +0200 | paulson | ../manual.bib a new dependency | file | diff | annotate |
| Wed, 12 May 1999 11:01:01 +0200 | wenzelm | pdf setup; | file | diff | annotate |
| Mon, 10 May 1999 17:44:17 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 12 May 1997 17:24:29 +0200 | wenzelm | 'dist', 'clean'; | file | diff | annotate |
| Mon, 12 May 1997 17:13:12 +0200 | wenzelm | moved here from .. | file | diff | annotate |