equal
deleted
inserted
replaced
53 |
53 |
54 \ifsem |
54 \ifsem |
55 \subsection*{Getting Started with Isabelle} |
55 \subsection*{Getting Started with Isabelle} |
56 |
56 |
57 If you have not done so already, download and install Isabelle |
57 If you have not done so already, download and install Isabelle |
|
58 (this book is compatible with Isabelle2016) |
58 from \url{http://isabelle.in.tum.de}. You can start it by clicking |
59 from \url{http://isabelle.in.tum.de}. You can start it by clicking |
59 on the application icon. This will launch Isabelle's |
60 on the application icon. This will launch Isabelle's |
60 user interface based on the text editor \concept{jedit}. Below you see |
61 user interface based on the text editor \concept{jEdit}. Below you see |
61 a typical example snapshot of a jedit session. At this point we merely explain |
62 a typical example snapshot of a jedit session. At this point we merely explain |
62 the layout of the window, not its contents. |
63 the layout of the window, not its contents. |
63 |
64 |
64 \begin{center} |
65 \begin{center} |
65 \includegraphics[width=\textwidth]{jedit.png} |
66 \includegraphics[width=\textwidth]{jedit.png} |