| Thu, 06 Oct 2005 08:56:15 +0200 | haftmann | changed sydney share | file | diff | annotate |
| Tue, 27 Sep 2005 15:30:37 +0200 | haftmann | website preparation for Isabelle2005 | file | diff | annotate |
| Thu, 09 Mar 2000 14:19:15 +0100 | kleing | rsync goes "official" (started at boot time) | file | diff | annotate |
| Mon, 06 Mar 2000 15:24:07 +0100 | kleing | switched to mirroring with rsync server | file | diff | annotate |