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:26:29 +0100
changeset 570 78bedf3026a2
parent 569 bfa7eae6d0ba
child 571 31536371dfdf
updated
index.html file | annotate | diff | comparison | revisions 
--- a/index.html	Tue Apr 30 23:48:11 2019 +0100
+++ b/index.html	Tue Jun 11 10:26:29 2019 +0100
@@ -97,7 +97,8 @@
 </TR>
 </TABLE>
 <p>
-<IMG SRC="new.gif" ALT="" style="" align="left"><A HREF="https://nms.kcl.ac.uk/christian.urban/Cookbook" target="_top">Isabelle Programming Tutorial</A> (draft of a 200-page tutorial on Isabelle programming)<BR><BR>
+  <IMG SRC="new.gif" ALT="" style="" align="left"><A HREF="https://nms.kcl.ac.uk/christian.urban/Cookbook" target="_top">Isabelle Programming Tutorial</A> (draft of a 200-page tutorial on Isabelle programming - updated to
+    Isabelle 2019 thanks to Norbert Schirmer)<BR><BR>
 </TD>
 </TR>
public_html