| 2002-04-30 | kleing | physical location of isabelle repository is now sunbroy2 | file | diff | annotate |
| 2002-01-11 | wenzelm | #!/usr/bin/env bash; | file | diff | annotate |
| 2000-07-12 | kleing | munich webserver is now sunbroy51 | file | diff | annotate |
| 2000-03-01 | wenzelm | tuned; | file | diff | annotate |
| 2000-02-10 | paulson | Cambridge-specific modifications | file | diff | annotate |
| 2000-02-09 | wenzelm | mirror main page; | file | diff | annotate |