--- a/src/Doc/Prog_Prove/document/intro-isabelle.tex Mon Jan 09 19:32:40 2017 +0100
+++ b/src/Doc/Prog_Prove/document/intro-isabelle.tex Mon Jan 09 19:34:02 2017 +0100
@@ -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)
+(this book is compatible with Isabelle2016-1)
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
@@ -74,9 +74,8 @@
\begin{warn}\label{proof-state}
Part I frequently refers to the proof state.
-You can see the proof state combined with other system output if you
-press the ``Output'' button to open the output area and tick the
-``Proof state'' box to see the proof state in the output area.
+You can see the proof state if you press the ``State'' button.
+If you want to see the proof state combined with other system output, press ``Output'' and tick the ``Proof state'' box.
\end{warn}
This should suffice to get started with the jEdit interface.