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>
Tue, 11 Jun 2019 10:38:27 +0100
changeset 574 0b9c3103bdbc
parent 573 01c25b9113ac
child 575 3fef91236f70
updated
Cookbook/main.html file | annotate | diff | comparison | revisions
Cookbook/menu.html file | annotate | diff | comparison | revisions 
--- a/Cookbook/main.html	Tue Jun 11 10:36:10 2019 +0100
+++ b/Cookbook/main.html	Tue Jun 11 10:38:27 2019 +0100
@@ -191,8 +191,7 @@
 <P>
   <a href="http://validator.w3.org/check/referer" target="_top">[Validate this page.]</a>
 
-Time-stamp: <Last changed 2017-09-14 12:51:10 by Christian Urban, cu>
- 
+
 </body>
 </html>
 
--- a/Cookbook/menu.html	Tue Jun 11 10:36:10 2019 +0100
+++ b/Cookbook/menu.html	Tue Jun 11 10:38:27 2019 +0100
@@ -26,7 +26,7 @@
 
 <tr>
 <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>
+Latest Draft  (updated to Isabelle 2019 thanks to Norbert Schirmer</a><BR><BR><BR></td>
 </tr>
 
 <tr>
public_html