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

--- a/doc-src/System/Thy/document/Interfaces.tex	Sat Apr 28 17:05:31 2012 +0200
+++ b/doc-src/System/Thy/document/Interfaces.tex	Sat Apr 28 17:50:42 2012 +0200
@@ -94,7 +94,7 @@
 \end{isamarkuptext}%
 \isamarkuptrue%
 %
-\isamarkupsection{Isabelle/jEdit Prover IDE%
+\isamarkupsection{Isabelle/jEdit Prover IDE \label{sec:tool-jedit}%
 }
 \isamarkuptrue%
 %