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 new jersey mirror
authorkleing
Mon, 12 May 2003 15:46:13 +0200
changeset 14015 b5372f8e34d6
parent 14014 f3f16f9f2030
child 14016 f19faa78ce61
removed new jersey mirror
Admin/page/dist-content/index.content file | annotate | diff | comparison | revisions 
--- a/Admin/page/dist-content/index.content	Mon May 12 15:07:11 2003 +0200
+++ b/Admin/page/dist-content/index.content	Mon May 12 15:46:13 2003 +0200
@@ -18,10 +18,6 @@
 <li><a href="http://isabelle.in.tum.de/dist/packages.html">Munich
 (Germany)</a>
 	
-<li><a
-href="http://ftp.research.bell-labs.com/dist/smlnj/isabelle/packages.html">New
-Jersey (USA)</a>
-
 </ul>
isabelle