# HG changeset patch
# User nipkow
# Date 1535000549 -7200
# Node ID d2470f3a768b27d860cb22e0ddea30c772050945
# Parent  851a9d9746c698062faf7cf978de6d3385ed6e23# Parent  5e7b3e6625eb16da8c4473e7d1fcf886288b3d2a
merged

diff -r 851a9d9746c6 -r d2470f3a768b src/Doc/Prog_Prove/document/intro-isabelle.tex
--- 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