equal
deleted
inserted
replaced
71 modern Java IDEs. Isabelle's response to the user input is shown in the |
71 modern Java IDEs. Isabelle's response to the user input is shown in the |
72 lower part of the window. You can examine the response to any input phrase |
72 lower part of the window. You can examine the response to any input phrase |
73 by clicking on that phrase or by hovering over underlined text. |
73 by clicking on that phrase or by hovering over underlined text. |
74 |
74 |
75 \begin{warn}\label{proof-state} |
75 \begin{warn}\label{proof-state} |
76 By default Isabelle/jEdit does not show the proof state but this book |
76 Part I frequently refers to the proof state. |
77 refers to it frequently. You should tick the ``Proof state'' box |
77 You can see the proof state combined with other system output if you |
78 to see the proof state in the output window. |
78 press the ``Output'' button to open the output area and tick the |
|
79 ``Proof state'' box to see the proof state in the output area. |
79 \end{warn} |
80 \end{warn} |
80 |
81 |
81 This should suffice to get started with the jEdit interface. |
82 This should suffice to get started with the jEdit interface. |
82 Now you need to learn what to type into it. |
83 Now you need to learn what to type into it. |
83 \else |
84 \else |