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.
included new stanford mirror, mirror links now point to source directly
authorkleing
Fri, 31 Mar 2000 10:15:33 +0200
changeset 8629 c3d90724abcc
parent 8628 b3d9d8446473
child 8630 c3af577e7c7b
included new stanford mirror, mirror links now point to source directly
Admin/page/dist-content/index.content file | annotate | diff | comparison | revisions 
--- a/Admin/page/dist-content/index.content	Fri Mar 31 10:08:26 2000 +0200
+++ b/Admin/page/dist-content/index.content	Fri Mar 31 10:15:33 2000 +0200
@@ -16,8 +16,9 @@
 
 <li> <a href="http://isabelle.in.tum.de/dist/source.html">Munich (Germany)</a> <br>&nbsp;</li>
 	
+<li> <a href="http://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html">New Jersey (USA)</a> <br>&nbsp;</li>
 
-<li> <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html">New Jersey (USA)</a> <br>&nbsp;</li>
+<li> <a href="ftp://rodin.stanford.edu/pub/smlnj/isabelle/source.html">Stanford (USA)</a> <br>&nbsp;</li>
 
 </ul>
isabelle