author nipkow Wed, 10 Feb 2016 15:49:05 +0100 changeset 62224 9343649abb09 parent 62223 c82c7b78b509 child 62284 1fd4831e9f93
tuned text
--- 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.