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