--- 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}
*}
(*<*)