diff -r 78bedf3026a2 -r 31536371dfdf index.html --- a/index.html Tue Jun 11 10:26:29 2019 +0100 +++ b/index.html Tue Jun 11 10:27:43 2019 +0100 @@ -98,7 +98,7 @@

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

+ Isabelle 2019 thanks to Norbert Schirmer)