# HG changeset patch
# User nipkow
# Date 1455115745 -3600
# Node ID 9343649abb090550ca5fe90c5f037d550a8c2a9b
# Parent  c82c7b78b509f9c22b9c7bfa9560e310093ba015
tuned text

diff -r c82c7b78b509 -r 9343649abb09 src/Doc/Prog_Prove/document/intro-isabelle.tex
--- 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.