# HG changeset patch
# User nipkow
# Date 1455007915 -3600
# Node ID 0628123e9d4e5fe26529b51936563b00e51fbe25
# Parent  0e17a97234bdca94f1b66c0e14894b608d7836fe
tuned

diff -r 0e17a97234bd -r 0628123e9d4e src/Doc/Prog_Prove/document/intro-isabelle.tex
--- a/src/Doc/Prog_Prove/document/intro-isabelle.tex	Mon Feb 01 20:55:23 2016 +0100
+++ b/src/Doc/Prog_Prove/document/intro-isabelle.tex	Tue Feb 09 09:51:55 2016 +0100
@@ -55,9 +55,10 @@
 \subsection*{Getting Started with Isabelle}
 
 If you have not done so already, download and install Isabelle
+(this book is compatible with Isabelle2016)
 from \url{http://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
+user interface based on the text editor \concept{jEdit}. Below you see
 a typical example snapshot of a jedit session. At this point we merely explain
 the layout of the window, not its contents.