| 2005-10-06 | haftmann | 2005-10-06 | changed sydney share | file | diff | annotate |
| 2005-09-27 | haftmann | 2005-09-27 | website preparation for Isabelle2005 | file | diff | annotate |
| 2000-03-09 | kleing | 2000-03-09 | rsync goes "official" (started at boot time) | file | diff | annotate |
| 2000-03-06 | kleing | 2000-03-06 | switched to mirroring with rsync server | file | diff | annotate |