Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/website/include/mirrorlist.major.include.html
changeset 16581 3d2929031e51
parent 16580 510b5fc86bf4 
--- a/Admin/website/include/mirrorlist.major.include.html	Tue Jun 28 12:16:01 2005 +0200
+++ b/Admin/website/include/mirrorlist.major.include.html	Tue Jun 28 12:16:01 2005 +0200
@@ -4,7 +4,7 @@
 <div class="mirrorlist">
     <p>Switch mirror:</p>
     <ul>
-        <li><?mirror prefix="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/" title="Cambridge" ?></li>
-        <li><?mirror prefix="http://isabelle.in.tum.de/"                         title="Munich"    ?></li>
+        <li><?mirror prefix="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/" title="Cambridge (.uk)" ?></li>
+        <li><?mirror prefix="http://isabelle.in.tum.de/"                     title="Munich (.de)"    ?></li>
     </ul>
 </div>
isabelle