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-old.html
changeset 465 4dac76eb27d9
parent 411 a430e494cb19 
--- a/Nominal/download-old.html	Sat Jan 28 06:40:19 2017 +0000
+++ b/Nominal/download-old.html	Sat Jan 28 07:17:00 2017 +0000
@@ -13,12 +13,12 @@
 follow the instructions in INSTALL.
 <br><br>
 
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/Isabelle_07-Jan-2008.tar.gz">Isabelle Snapshot from 7. January 2008 (includes version 0.14 of the nominal datatype package)</A>
+<A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/Isabelle_07-Jan-2008.tar.gz">Isabelle Snapshot from 7. January 2008 (includes version 0.14 of the nominal datatype package)</A>
 <br><br>
 
 
 
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/manual/INSTALL">INSTALL</A>
+<A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/manual/INSTALL">INSTALL</A>
 <br><br>
 
 <img src="graphics/attention.png" alt="The Nominal Datatype" align="left">
public_html