| Mon, 06 Jun 2005 08:18:43 +0200 | haftmann | added sunbroy2 | file | diff | annotate |
| Sun, 05 Jun 2005 15:04:23 +0200 | haftmann | symlink problem hopefully solved | file | diff | annotate |
| Fri, 10 Oct 2003 19:32:15 +0200 | berghofe | Munich webserver is now atbroy1 | file | diff | annotate |
| Wed, 18 Sep 2002 18:19:43 +0200 | kleing | comments + usage | file | diff | annotate |
| Tue, 30 Apr 2002 12:15:48 +0200 | kleing | physical location of isabelle repository is now sunbroy2 | file | diff | annotate |
| Fri, 11 Jan 2002 17:04:49 +0100 | wenzelm | #!/usr/bin/env bash; | file | diff | annotate |
| Wed, 12 Jul 2000 14:47:34 +0200 | kleing | munich webserver is now sunbroy51 | file | diff | annotate |
| Wed, 01 Mar 2000 16:38:59 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 10 Feb 2000 11:03:54 +0100 | paulson | Cambridge-specific modifications | file | diff | annotate |
| Wed, 09 Feb 2000 14:03:29 +0100 | wenzelm | mirror main page; | file | diff | annotate |