equal
deleted
inserted
replaced
62 the layout of the window, not its contents. |
62 the layout of the window, not its contents. |
63 |
63 |
64 \begin{center} |
64 \begin{center} |
65 \includegraphics[width=\textwidth]{jedit.png} |
65 \includegraphics[width=\textwidth]{jedit.png} |
66 \end{center} |
66 \end{center} |
67 The upper part of the window shows the input typed by the user, i.e.\ the |
67 The upper part of the window shows the input typed by the user, i.e., the |
68 gradually growing Isabelle text of definitions, theorems, proofs, etc. The |
68 gradually growing Isabelle text of definitions, theorems, proofs, etc. The |
69 interface processes the user input automatically while it is typed, just like |
69 interface processes the user input automatically while it is typed, just like |
70 modern Java IDEs. Isabelle's response to the user input is shown in the |
70 modern Java IDEs. Isabelle's response to the user input is shown in the |
71 lower part of the window. You can examine the response to any input phrase |
71 lower part of the window. You can examine the response to any input phrase |
72 by clicking on that phrase or by hovering over underlined text. |
72 by clicking on that phrase or by hovering over underlined text. |