equal
deleted
inserted
replaced
141 enclosing theory language as the \concept{outer syntax}. |
141 enclosing theory language as the \concept{outer syntax}. |
142 |
142 |
143 \subsection{Proof State} |
143 \subsection{Proof State} |
144 |
144 |
145 \begin{warn} |
145 \begin{warn} |
146 By default Isabelle/jEdit not longer shows the current proof state |
146 By default Isabelle/jEdit does not show the proof state |
147 in the output window. You should enable this by ticking |
147 in the output window. You should enable this by ticking the |
148 Plugins $>$ Plugin Options $>$ Editor Output State. |
148 ``Proof state'' box. |
149 \end{warn} |
149 \end{warn} |
150 *} |
150 *} |
151 (*<*) |
151 (*<*) |
152 end |
152 end |
153 (*>*) |
153 (*>*) |