| Tue, 05 Sep 2000 18:43:22 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 03 Sep 2000 20:01:47 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 02 Sep 2000 21:46:04 +0200 | wenzelm | some stuff; | file | diff | annotate |
| Mon, 14 Aug 2000 18:49:35 +0200 | wenzelm | added conversion.tex; | file | diff | annotate |