--- a/doc-src/System/Thy/Interfaces.thy Sat Apr 28 17:50:42 2012 +0200
+++ b/doc-src/System/Thy/Interfaces.thy Sat Apr 28 17:53:12 2012 +0200
@@ -74,7 +74,7 @@
*}
-section {* Isabelle/jEdit Prover IDE *}
+section {* Isabelle/jEdit Prover IDE \label{sec:tool-jedit} *}
text {* The @{tool_def jedit} tool invokes a version of jEdit that has
been augmented with some components to provide a fully-featured
@@ -95,6 +95,9 @@
(default Scratch.thy).
\end{ttbox}
+The @{verbatim "-l"} option specifies the logic image. The
+@{verbatim "-m"} option specifies additional print modes.
+
The @{verbatim "-J"} and @{verbatim "-j"} options allow to pass
additional low-level options to the JVM or jEdit, respectively. The
defaults are provided by the Isabelle settings environment.
@@ -108,9 +111,6 @@
building from sources, which also requires an auxiliary @{verbatim
jedit_build} component. Official Isabelle releases already include a
version of Isabelle/jEdit that is built properly.
-
-The @{verbatim "-l"} option specifies the logic image. The
-@{verbatim "-m"} option specifies additional print modes.
*}
end
\ No newline at end of file
--- a/doc-src/System/Thy/document/Interfaces.tex Sat Apr 28 17:50:42 2012 +0200
+++ b/doc-src/System/Thy/document/Interfaces.tex Sat Apr 28 17:53:12 2012 +0200
@@ -118,6 +118,9 @@
(default Scratch.thy).
\end{ttbox}
+The \verb|-l| option specifies the logic image. The
+\verb|-m| option specifies additional print modes.
+
The \verb|-J| and \verb|-j| options allow to pass
additional low-level options to the JVM or jEdit, respectively. The
defaults are provided by the Isabelle settings environment.
@@ -129,10 +132,7 @@
The \verb|-b| and \verb|-f| options control the
self-build mechanism of Isabelle/jEdit. This is only relevant for
building from sources, which also requires an auxiliary \verb|jedit_build| component. Official Isabelle releases already include a
-version of Isabelle/jEdit that is built properly.
-
-The \verb|-l| option specifies the logic image. The
-\verb|-m| option specifies additional print modes.%
+version of Isabelle/jEdit that is built properly.%
\end{isamarkuptext}%
\isamarkuptrue%
%