| Tue, 22 Sep 2015 14:31:22 +0200 | nipkow | tuned references | file | diff | annotate |
| Sun, 05 Jan 2014 18:59:29 +0100 | nipkow | minimized class dependency, updated references | file | diff | annotate |
| Sun, 09 Dec 2001 14:35:11 +0100 | kleing | latex output setup | file | diff | annotate |