# HG changeset patch
# User wenzelm
# Date 1335628392 -7200
# Node ID 7c97bfe3a501f7f2a9f97fe10cfc50237cda3b65
# Parent  4f25960417aebe3ef2b6516b0360d6807bfc90f4
tuned;

diff -r 4f25960417ae -r 7c97bfe3a501 doc-src/System/Thy/Interfaces.thy
--- 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
diff -r 4f25960417ae -r 7c97bfe3a501 doc-src/System/Thy/document/Interfaces.tex
--- 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%
 %