# HG changeset patch # User wenzelm # Date 1015584181 -3600 # Node ID 69ab0e74ccdae24820c43b5b25bf15be48228425 # Parent 1db0bdda1d3260aee5f6efcc799d4d62dfa33db4 removed Stanford mirror; diff -r 1db0bdda1d32 -r 69ab0e74ccda Admin/MIRRORS --- a/Admin/MIRRORS Fri Mar 08 11:41:10 2002 +0100 +++ b/Admin/MIRRORS Fri Mar 08 11:43:01 2002 +0100 @@ -9,6 +9,6 @@ http://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html Dave MacQueen -* Stanford (USA) +* Stanford (USA) (??) ftp://rodin.stanford.edu/pub/smlnj/isabelle/source.html -Lal George (?) +Lal George (??) diff -r 1db0bdda1d32 -r 69ab0e74ccda Admin/page/dist-content/index.content --- a/Admin/page/dist-content/index.content Fri Mar 08 11:41:10 2002 +0100 +++ b/Admin/page/dist-content/index.content Fri Mar 08 11:43:01 2002 +0100 @@ -22,8 +22,4 @@ href="http://ftp.research.bell-labs.com/dist/smlnj/isabelle/packages.html">New Jersey (USA) -
  • Stanford -(USA) -