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 653 2807ec31d144
parent 652 1daec107e6ab 
--- a/Cookbook/main.html	Tue May 21 15:52:33 2024 +0100
+++ b/Cookbook/main.html	Tue Jan 07 12:42:42 2025 +0000
@@ -95,7 +95,7 @@
 
 A 
 <A HREF="https://cflmark.nms.kcl.ac.uk/hg/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="https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/raw-file/tip/progtutorial.pdf" target="_top" onclick="pageTracker._trackPageview('tutorial');">here</A>. 
+is available and you are very welcome to contribute to it. The current draft of the tutorial is <A HREF="https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/raw-file/tip/progtutorial.pdf">here</A>. 
 
 <H3>Stable Version</H3>
public_html