| Thu, 06 Jul 2000 09:46:56 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 08 May 2000 11:13:28 +0200 | wenzelm | improved indexing; | file | diff | annotate |
| Tue, 12 Oct 1999 19:14:06 +0200 | wenzelm | a4paper; | file | diff | annotate |
| Fri, 03 Sep 1999 16:11:03 +0200 | wenzelm | fixed usepackage; | file | diff | annotate |