| Fri, 11 Jan 2002 17:04:49 +0100 | wenzelm | #!/usr/bin/env bash; | file | diff | annotate |
| Wed, 12 Jul 2000 14:47:34 +0200 | kleing | munich webserver is now sunbroy51 | file | diff | annotate |
| Wed, 01 Mar 2000 16:38:59 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 10 Feb 2000 11:03:54 +0100 | paulson | Cambridge-specific modifications | file | diff | annotate |
| Wed, 09 Feb 2000 14:03:29 +0100 | wenzelm | mirror main page; | file | diff | annotate |