# HG changeset patch
# User wenzelm
# Date 887819538 -3600
# Node ID 0a365c3e4b271d72b2f53f63182fe84cc845c5af
# Parent  c7fa4ae3449560cc41ea6c8f5924efdccae04de8
added New Jersey mirror;

diff -r c7fa4ae34495 -r 0a365c3e4b27 Admin/index.html
--- 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>