--- 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%
%