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.urban@kcl.ac.uk>
Thu, 22 Feb 2024 14:42:56 +0000
changeset 642 cdf2574671d1
parent 641 1835bf2e2bc2
child 643 97e87f6eae2f
updated link
Cookbook/menu.html file | annotate | diff | comparison | revisions 
--- a/Cookbook/menu.html	Thu Feb 22 13:56:12 2024 +0000
+++ b/Cookbook/menu.html	Thu Feb 22 14:42:56 2024 +0000
@@ -25,7 +25,7 @@
 </tr>
 
 <tr>
-<td style="background-color: rgb(224, 224, 240);"> <IMG SRC="new.gif" ALT="" style="" align="left"><a href="https://talisker.nms.kcl.ac.uk/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="https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/raw-file/tip/progtutorial.pdf" onclick="pageTracker._trackPageview('tutorial');" target="_top">
 Latest Draft</a>  (updated to Isabelle 2019 thanks to Norbert Schirmer)<BR><BR><BR></td>
 </tr>
public_html