# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1462440035 -3600
# Node ID 87c1ad539fc9d7902e0239967123e8b5cc5ea381
# Parent  a1e588fe2f384bfcd5fef8ddcb02e4933ddff08d
updated

diff -r a1e588fe2f38 -r 87c1ad539fc9 Cookbook/main.html
--- a/Cookbook/main.html	Thu May 05 09:40:48 2016 +0100
+++ b/Cookbook/main.html	Thu May 05 10:20:35 2016 +0100
@@ -189,14 +189,9 @@
 </table>
 </div>     
 
-
-<HR>
-<div id="clustrmaps-widget"></div><script type="text/javascript">var _clustrmaps = {'url' : 'http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook/index.html', 'user' : 948346, 'server' : '4', 'id' : 'clustrmaps-widget', 'version' : 1, 'date' : '2011-10-30', 'lang' : 'en', 'corners' : 'square' };(function (){ var s = document.createElement('script'); s.type = 'text/javascript'; s.async = true; s.src = 'http://www4.clustrmaps.com/counter/map.js'; var x = document.getElementsByTagName('script')[0]; x.parentNode.insertBefore(s, x);})();</script><noscript><a href="http://www4.clustrmaps.com/user/123e787a"><img src="http://www4.clustrmaps.com/stats/maps-no_clusters/www.inf.kcl.ac.uk-staff-urbanc-Cookbook-index.html-thumb.jpg" alt="Locations of visitors to this page" /></a></noscript>
-</a>
-<p>
 <P>
 <a href="http://validator.w3.org/check/referer" target="_top">[Validate this page.]</a>
-<!-- hhmts start --> Last modified: Mon Feb 15 23:27:57 CET 2016 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Thu May  5 09:42:26 BST 2016 <!-- hhmts end -->
 
 </body>
 </html>
diff -r a1e588fe2f38 -r 87c1ad539fc9 Cookbook/main.html~
--- a/Cookbook/main.html~	Thu May 05 09:40:48 2016 +0100
+++ b/Cookbook/main.html~	Thu May 05 10:20:35 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>
diff -r a1e588fe2f38 -r 87c1ad539fc9 pip.html
--- a/pip.html	Thu May 05 09:40:48 2016 +0100
+++ b/pip.html	Thu May 05 10:20:35 2016 +0100
@@ -45,14 +45,13 @@
 <BR><BR>
 
 The source code can be downloaded 
-<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/prio">here</A>.
+<A HREF="http://talisker.inf.kcl.ac.uk/~urbanc/cgi-bin/repos.cgi/pip/">here</A>.
 <BR><BR><BR><BR>
 
 </TABLE>
-<P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
-<!-- hhmts start -->
-Last modified: Thu Feb 13 20:24:23 CET 2012
-<!-- hhmts end -->
+<P>
+<!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
+<!-- hhmts start --> Last modified: Thu May  5 10:20:23 BST 2016 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>