# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1524141874 -3600
# Node ID 3b76d8e0fa76c9d537b786082d42a122a93fd91a
# Parent  49cdb274e7ed28d560ec5a3bdcdc56c4b4ddc85b
updated

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>