| Wed, 18 Jul 2018 16:44:01 +0200 | wenzelm | prefer HTTPS; | file | diff | annotate |
| Sun, 24 Mar 2002 19:16:51 +0100 | kleing | tuned | file | diff | annotate |
| Mon, 18 Sep 2000 23:53:27 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 15 Sep 2000 18:43:15 +0200 | oheimb | added new papers | file | diff | annotate |
| Fri, 15 Sep 2000 18:14:30 +0200 | oheimb | added new papers | file | diff | annotate |
| Tue, 12 Sep 2000 10:50:29 +0200 | wenzelm | added MicroJava/document/root.bib; | file | diff | annotate |