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>