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 link
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Mon, 15 Feb 2016 23:28:10 +0100
changeset 391 ff462cfb41cb
parent 390 8ac8e607c44e
child 392 880e62843614
updated link
Cookbook/main.html file | annotate | diff | comparison | revisions 
--- a/Cookbook/main.html	Mon Feb 15 23:24:15 2016 +0100
+++ b/Cookbook/main.html	Mon Feb 15 23:28:10 2016 +0100
@@ -96,8 +96,8 @@
 <H3>Repository</H3>
 
 A preliminary 
-<A HREF="http://www4.in.tum.de/~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://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf" target="_top" onclick="pageTracker._trackPageview('tutorial');">here</A>. 
+<A HREF="http://www21.in.tum.de/~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://www21.in.tum.de/~urbanc/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf" target="_top" onclick="pageTracker._trackPageview('tutorial');">here</A>. 
 
 <H3>Stable Version</H3>
 
@@ -196,7 +196,7 @@
 <p>
 <P>
 <a href="http://validator.w3.org/check/referer" target="_top">[Validate this page.]</a>
-<!-- hhmts start --> Last modified: Mon Oct 20 00:42:10 BST 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Mon Feb 15 23:27:57 CET 2016 <!-- hhmts end -->
 
 </body>
 </html>
public_html