doc-src/System/Thy/document/Interfaces.tex

 
 Start jEdit with Isabelle plugin setup and opens theory FILES
 (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.
 
 The \verb|-d| option allows to connect to the runtime debugger

 convenient in most practical situations.
 
 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%
 %
 \isadelimtheory
 %