equal
deleted
inserted
replaced
92 |
92 |
93 \end{description}% |
93 \end{description}% |
94 \end{isamarkuptext}% |
94 \end{isamarkuptext}% |
95 \isamarkuptrue% |
95 \isamarkuptrue% |
96 % |
96 % |
97 \isamarkupsection{Isabelle/jEdit Prover IDE% |
97 \isamarkupsection{Isabelle/jEdit Prover IDE \label{sec:tool-jedit}% |
98 } |
98 } |
99 \isamarkuptrue% |
99 \isamarkuptrue% |
100 % |
100 % |
101 \begin{isamarkuptext}% |
101 \begin{isamarkuptext}% |
102 The \indexdef{}{tool}{jedit}\hypertarget{tool.jedit}{\hyperlink{tool.jedit}{\mbox{\isa{\isatt{jedit}}}}} tool invokes a version of jEdit that has |
102 The \indexdef{}{tool}{jedit}\hypertarget{tool.jedit}{\hyperlink{tool.jedit}{\mbox{\isa{\isatt{jedit}}}}} tool invokes a version of jEdit that has |