# HG changeset patch
# User nipkow
# Date 1535000539 -7200
# Node ID 5e7b3e6625eb16da8c4473e7d1fcf886288b3d2a
# Parent  9270af426282dea94637a360afe93c57d90a77d1
tuned

diff -r 9270af426282 -r 5e7b3e6625eb src/Doc/Prog_Prove/document/intro-isabelle.tex
--- a/src/Doc/Prog_Prove/document/intro-isabelle.tex	Wed Aug 22 16:41:29 2018 +0200
+++ b/src/Doc/Prog_Prove/document/intro-isabelle.tex	Thu Aug 23 07:02:19 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