--- a/src/Doc/Prog_Prove/document/intro-isabelle.tex Wed Aug 22 13:33:50 2018 +0000
+++ b/src/Doc/Prog_Prove/document/intro-isabelle.tex Thu Aug 23 07:02:29 2018 +0200
@@ -55,7 +55,7 @@
\subsection*{Getting Started with Isabelle}
If you have not done so already, download and install Isabelle
-(this book is compatible with Isabelle2016-1)
+(this book is compatible with Isabelle2018)
from \url{https://isabelle.in.tum.de}. You can start it by clicking
on the application icon. This will launch Isabelle's
user interface based on the text editor \concept{jEdit}. Below you see