tuned text
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.
-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.
 This should suffice to get started with the jEdit interface.