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.
currently disabled;
authorwenzelm
Thu, 29 Apr 1999 15:35:40 +0200
changeset 6538 d575fb1edabf
parent 6537 b1288c5e599c
child 6539 2e7d2fba9f6c
currently disabled;
Admin/index.html file | annotate | diff | comparison | revisions 
--- a/Admin/index.html	Thu Apr 29 15:34:43 1999 +0200
+++ b/Admin/index.html	Thu Apr 29 15:35:40 1999 +0200
@@ -24,9 +24,6 @@
 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/">Cambridge
 (UK)</a>
 
-<li> <a href="http://ciumix.ci.uminho.pt/mirrors/isabelle/">Minho
-(Portugal)</a>
-
 <li> <a href="http://isabelle.in.tum.de/dist/">Munich (Germany)</a>
 
 <li> <a
isabelle