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 @@

-Isabelle Programming Tutorial (draft of a 200-page tutorial on Isabelle programming)

+ Isabelle Programming Tutorial (draft of a 200-page tutorial on Isabelle programming - updated to + Isabelle 2019 thanks to Norbert Schirmer)