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.
Cookbook/main.html
changeset 465 4dac76eb27d9
parent 448 960cc8081e0a
child 478 c8216c81d367 
--- a/Cookbook/main.html	Sat Jan 28 06:40:19 2017 +0000
+++ b/Cookbook/main.html	Sat Jan 28 07:17:00 2017 +0000
@@ -79,7 +79,7 @@
 The project is managed by
 
 <ul>
-<li> <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/" target="_top">Christian Urban</A> (christian.urban at kcl ac uk)
+<li> <A HREF="http://nms.kcl.ac.uk/christian.urban/" target="_top">Christian Urban</A> (christian.urban at kcl ac uk)
 <li> <A HREF="http://www.cl.cam.ac.uk/~lp15/" target="_top">Larry Paulson</A> (lp15 at cam ac uk)
 <li> <A HREF="http://nicta.com.au/people/norrishm" target="_top">Michael Norrish</A>
      (Michael.Norrish at nicta com au)
@@ -96,8 +96,8 @@
 <H3>Repository</H3>
 
 A preliminary 
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/isabelle-cookbook" target="_top">repository</A>
-is available and you are very welcome to contribute to it. The current draft of the tutorial is <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf" target="_top" onclick="pageTracker._trackPageview('tutorial');">here</A>. 
+<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/isabelle-cookbook" target="_top">repository</A>
+is available and you are very welcome to contribute to it. The current draft of the tutorial is <A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf" target="_top" onclick="pageTracker._trackPageview('tutorial');">here</A>. 
 
 <H3>Stable Version</H3>
public_html