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 <urbanc@in.tum.de>
Thu, 14 Sep 2017 12:51:22 +0100
changeset 480 51b47eb732f9
parent 479 614d59ffa1ad
child 481 f1cde0b6cc30
updated
Cookbook/main.html file | annotate | diff | comparison | revisions 
--- a/Cookbook/main.html	Thu Sep 14 12:47:23 2017 +0100
+++ b/Cookbook/main.html	Thu Sep 14 12:51:22 2017 +0100
@@ -97,7 +97,7 @@
 <H3>Repository</H3>
 
 A preliminary 
-<A HREF="http://talsker.inf.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook" target="_top">repository</A>
+<A HREF="http://talisker.inf.kcl.ac.uk/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://talisker.inf.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf" target="_top" onclick="pageTracker._trackPageview('tutorial');">here</A>. 
 
 <H3>Stable Version</H3>
@@ -192,7 +192,7 @@
 <P>
   <a href="http://validator.w3.org/check/referer" target="_top">[Validate this page.]</a>
 
-Time-stamp: <Last changed 2017-09-14 12:47:06 by Christian Urban, cu>
+Time-stamp: <Last changed 2017-09-14 12:51:10 by Christian Urban, cu>
  
 </body>
 </html>
public_html