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:24:51 +0100
changeset 478 c8216c81d367
parent 477 65d3f6e3e935
child 479 614d59ffa1ad
updated
Cookbook/main.html file | annotate | diff | comparison | revisions
Cookbook/menu.html file | annotate | diff | comparison | revisions 
--- a/Cookbook/main.html	Wed Sep 13 16:36:57 2017 +0100
+++ b/Cookbook/main.html	Thu Sep 14 12:24:51 2017 +0100
@@ -76,7 +76,7 @@
 
 <H3>People to contact</H3>
 
-The project is managed by
+The project was managed by
 
 <ul>
 <li> <A HREF="http://nms.kcl.ac.uk/christian.urban/" target="_top">Christian Urban</A> (christian.urban at kcl ac uk)
@@ -96,8 +96,8 @@
 <H3>Repository</H3>
 
 A preliminary 
-<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>. 
+<A HREF="http://talsker.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>
 
@@ -180,8 +180,7 @@
 
 <p>
 <i> What a great resource! I wish I'd had this when I wrote my first
-parser in December 2008. 
-(Timothy Bourke, UNSW Sydney, 2009)</i>
+parser in December 2008. (Timothy Bourke, UNSW Sydney, 2009)</i>
 
 </td>
 </tr>
--- a/Cookbook/menu.html	Wed Sep 13 16:36:57 2017 +0100
+++ b/Cookbook/menu.html	Thu Sep 14 12:24:51 2017 +0100
@@ -25,7 +25,7 @@
 </tr>
 
 <tr>
-<td style="background-color: rgb(224, 224, 240);"> <IMG SRC="new.gif" ALT="" style="" align="left"><a href="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf" onclick="pageTracker._trackPageview('tutorial');" target="_top">
+<td style="background-color: rgb(224, 224, 240);"> <IMG SRC="new.gif" ALT="" style="" align="left"><a href="http://talisker.inf.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf" onclick="pageTracker._trackPageview('tutorial');" target="_top">
 Latest Draft</a><BR><BR><BR></td>
 </tr>
public_html