# HG changeset patch
# User nipkow
# Date 1452533247 -3600
# Node ID 72d19e588e97ecf0aeb51506da2014030d328d9c
# Parent  3201ddb00097498ff3b724d2cd43df0e7c60ead7
tuned

diff -r 3201ddb00097 -r 72d19e588e97 src/Doc/Prog_Prove/Basics.thy
--- a/src/Doc/Prog_Prove/Basics.thy	Mon Jan 11 16:38:39 2016 +0100
+++ b/src/Doc/Prog_Prove/Basics.thy	Mon Jan 11 18:27:27 2016 +0100
@@ -143,9 +143,9 @@
 \subsection{Proof State}
 
 \begin{warn}
-By default Isabelle/jEdit not longer shows the current proof state
-in the output window. You should enable this by ticking
-Plugins $>$ Plugin Options $>$ Editor Output State.
+By default Isabelle/jEdit does not show the proof state
+in the output window. You should enable this by ticking the
+``Proof state'' box.
 \end{warn}
 *}
 (*<*)