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.
added New Jersey mirror;
authorwenzelm
Wed, 18 Feb 1998 17:32:18 +0100
changeset 4632 0a365c3e4b27
parent 4631 c7fa4ae34495
child 4633 d4a074973715
added New Jersey mirror;
Admin/index.html file | annotate | diff | comparison | revisions 
--- a/Admin/index.html	Wed Feb 18 11:31:25 1998 +0100
+++ b/Admin/index.html	Wed Feb 18 17:32:18 1998 +0100
@@ -28,7 +28,9 @@
 href="http://www4.informatik.tu-muenchen.de/~isabelle/dist/">Munich
 (Germany)</a>
 
-<!-- <li> <a href="">New Jersey (USA)</a> -->
+<li> <a
+href="ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/index.html">New
+Jersey (USA)</a>
 
 </ul>
isabelle