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.
changed Minho mirror;
authorwenzelm
Wed, 20 Jan 1999 10:29:25 +0100
changeset 6145 dea357e84ac9
parent 6144 7d38744313c8
child 6146 00f3324048a7
changed Minho mirror;
Admin/index.html file | annotate | diff | comparison | revisions 
--- a/Admin/index.html	Tue Jan 19 12:59:55 1999 +0100
+++ b/Admin/index.html	Wed Jan 20 10:29:25 1999 +0100
@@ -24,8 +24,7 @@
 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/">Cambridge
 (UK)</a>
 
-<li> <a
-href="ftp://ftp.ci.uminho.pt/pub/mirrors/isabelle/index.html">Minho
+<li> <a href="http://ciumix.ci.uminho.pt/mirrors/isabelle/">Minho
 (Portugal)</a>
 
 <li> <a
isabelle