diff -r 49cdb274e7ed -r 3b76d8e0fa76 Nominal/download.html
--- a/Nominal/download.html	Tue Mar 27 11:21:09 2018 +0100
+++ b/Nominal/download.html	Thu Apr 19 13:44:34 2018 +0100
@@ -30,7 +30,7 @@
 <p>
 You can also be on the bleeding edge by downloading the 
 sources from this Mercurial 
-<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nominal2/">Repository</A>.
+<A HREF="http://talisker.inf.kcl.ac.uk/cgi-bin/repos.cgi/nominal2/">Repository</A>.
 
 
 <h3>Nominal1 and Isabelle 2016</h3>