Mercurial Mercurial > hg > public_html / 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.
Nominal/download.html
changeset 465 4dac76eb27d9
parent 452 3fd7172a34dd
child 528 3b76d8e0fa76 
--- a/Nominal/download.html	Sat Jan 28 06:40:19 2017 +0000
+++ b/Nominal/download.html	Sat Jan 28 07:17:00 2017 +0000
@@ -17,7 +17,7 @@
 
 <ul>
 <li>  
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/Nominal2-2016.tgz">Nominal2-2016.tgz</A> (19 March 2016) 
+<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2016.tgz">Nominal2-2016.tgz</A> (19 March 2016) 
 </li>
 </ul>
 
@@ -30,7 +30,7 @@
 <p>
 You can also be on the bleeding edge by downloading the 
 sources from this Mercurial 
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nominal2/">Repository</A>.
+<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nominal2/">Repository</A>.
 
 
 <h3>Nominal1 and Isabelle 2016</h3>
@@ -41,13 +41,13 @@
 
 <h3>(Obsolete) Nominal2 and older Isabelle</h3>
 
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/Nominal2-2011-1.tgz">Nominal2-2011-1.tgz</A> (17 Feb. 2012)<BR> 
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/Nominal2-2012.tgz">Nominal2-2012.tgz</A> (15 May 2012)<BR>
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/Nominal2-2013.tgz">Nominal2-2013.tgz</A> (19 February 2013)<BR>
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/Nominal2-2013-1.tgz">Nominal2-2013-1.tgz</A> (18 October 2013)<BR>
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/Nominal2-2013-2.tgz">Nominal2-2013-2.tgz</A> (15 December 2013)<BR>
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/Nominal2-2014.tgz">Nominal2-2014.tgz</A> (9 September 2014)<BR>
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/Nominal2-2015.tgz">Nominal2-2015.tgz</A> (9 July 2015)<BR> 
+<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2011-1.tgz">Nominal2-2011-1.tgz</A> (17 Feb. 2012)<BR> 
+<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2012.tgz">Nominal2-2012.tgz</A> (15 May 2012)<BR>
+<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2013.tgz">Nominal2-2013.tgz</A> (19 February 2013)<BR>
+<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2013-1.tgz">Nominal2-2013-1.tgz</A> (18 October 2013)<BR>
+<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2013-2.tgz">Nominal2-2013-2.tgz</A> (15 December 2013)<BR>
+<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2014.tgz">Nominal2-2014.tgz</A> (9 September 2014)<BR>
+<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2015.tgz">Nominal2-2015.tgz</A> (9 July 2015)<BR> 
 </body>
 </html>
public_html