| Tue, 18 May 1999 12:34:42 +0200 | paulson | ../manual.bib a new dependency | file | diff | annotate |
| Mon, 10 May 1999 17:44:17 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 10 May 1999 16:35:22 +0200 | wenzelm | pdf setup; | file | diff | annotate |
| Mon, 10 May 1999 15:26:30 +0200 | wenzelm | pdf setup; | file | diff | annotate |
| Wed, 05 May 1999 18:08:01 +0200 | wenzelm | *** empty log message *** | file | diff | annotate |
| Tue, 04 May 1999 18:04:45 +0200 | wenzelm | fixed; | file | diff | annotate |
| Tue, 04 May 1999 18:03:56 +0200 | wenzelm | used to be part of 'logics' manual; | file | diff | annotate |