| Fri, 06 Oct 2000 17:18:35 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 06 Oct 2000 16:11:53 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 06 Oct 2000 15:15:19 +0200 | wenzelm | draft for 99-1; | file | diff | annotate |
| Mon, 11 Sep 2000 20:41:58 +0200 | wenzelm | template; | file | diff | annotate |