equal
deleted
inserted
replaced
36 |
36 |
37 |
37 |
38 section {* The Isabelle/jEdit Prover IDE *} |
38 section {* The Isabelle/jEdit Prover IDE *} |
39 |
39 |
40 text {* |
40 text {* |
|
41 \includegraphics[width=\textwidth]{isabelle-jedit} |
|
42 |
41 Isabelle/jEdit consists of some plugins for the well-known jEdit text |
43 Isabelle/jEdit consists of some plugins for the well-known jEdit text |
42 editor \url{http://www.jedit.org}, according to the following |
44 editor \url{http://www.jedit.org}, according to the following |
43 principles. |
45 principles. |
44 |
46 |
45 \begin{itemize} |
47 \begin{itemize} |