Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed Stanford mirror;
authorwenzelm
Fri, 08 Mar 2002 11:43:01 +0100
changeset 13046 69ab0e74ccda
parent 13045 1db0bdda1d32
child 13047 f27cc0a43feb
removed Stanford mirror;
Admin/MIRRORS file | annotate | diff | comparison | revisions
Admin/page/dist-content/index.content file | annotate | diff | comparison | revisions 
--- 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 <dbm@research.bell-labs.com>
 
-* Stanford (USA)
+* Stanford (USA) (??)
 ftp://rodin.stanford.edu/pub/smlnj/isabelle/source.html
-Lal George (?)
+Lal George (??)
--- 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)</a>
 
-<li><a
-href="ftp://rodin.stanford.edu/pub/smlnj/isabelle/packages.html">Stanford
-(USA)</a>
-
 </ul>
isabelle