Admin/mirror-main
2005-06-06 haftmann 2005-06-06 added sunbroy2
2005-06-05 haftmann 2005-06-05 symlink problem hopefully solved
2003-10-10 berghofe 2003-10-10 Munich webserver is now atbroy1
2002-09-18 kleing 2002-09-18 comments + usage
2002-04-30 kleing 2002-04-30 physical location of isabelle repository is now sunbroy2
2002-01-11 wenzelm 2002-01-11 #!/usr/bin/env bash;
2000-07-12 kleing 2000-07-12 munich webserver is now sunbroy51
2000-03-01 wenzelm 2000-03-01 tuned;
2000-02-10 paulson 2000-02-10 Cambridge-specific modifications
2000-02-09 wenzelm 2000-02-09 mirror main page;