--- a/src/Doc/Prog_Prove/document/intro-isabelle.tex Tue Feb 09 16:38:43 2016 +0100
+++ b/src/Doc/Prog_Prove/document/intro-isabelle.tex Wed Feb 10 15:49:05 2016 +0100
@@ -73,9 +73,10 @@
by clicking on that phrase or by hovering over underlined text.
\begin{warn}\label{proof-state}
-By default Isabelle/jEdit does not show the proof state but this book
-refers to it frequently. You should tick the ``Proof state'' box
-to see the proof state in the output window.
+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.
\end{warn}
This should suffice to get started with the jEdit interface.