# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1560245189 -3600
# Node ID 78bedf3026a25b09f5df0990292c82424d97a5c7
# Parent  bfa7eae6d0ba7c876d22b68c1727fcc06f8da7f3
updated

diff -r bfa7eae6d0ba -r 78bedf3026a2 index.html
--- 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>