# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1459425750 -3600
# Node ID 6600eb5b11cbe3b2e2325ff6a667ed68e243c2d0
# Parent  793f6d12cf2d37fdd16e4dc23ec5412093178fe3
updated

diff -r 793f6d12cf2d -r 6600eb5b11cb Nominal/main.html
--- a/Nominal/main.html	Wed Mar 30 20:39:55 2016 +0100
+++ b/Nominal/main.html	Thu Mar 31 13:02:30 2016 +0100
@@ -49,7 +49,7 @@
 <IMG SRC="new.gif" ALT="" style="" align="left">
 <I>We are working on a major overhaul of Nominal Isabelle. The 
 latest bundles of Nominal2 are 
-<A HREF="http://inf.kcl.ac.uk/staff/urbanc/Nominal/download.html">here</A>. 
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/download.html">here</A>. 
 </I></P>