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