Mercurial Mercurial > hg > public_html / 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.
updated
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 31 Mar 2016 13:02:30 +0100
changeset 420 6600eb5b11cb
parent 419 793f6d12cf2d
child 421 38739b26f80d
updated
Nominal/main.html file | annotate | diff | comparison | revisions 
--- 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>
public_html