doc-src/System/Thy/document/Interfaces.tex
changeset 47825 4f25960417ae
parent 47824 65082431af2a
child 47826 7c97bfe3a501
     1.1 --- a/doc-src/System/Thy/document/Interfaces.tex	Sat Apr 28 17:05:31 2012 +0200
     1.2 +++ b/doc-src/System/Thy/document/Interfaces.tex	Sat Apr 28 17:50:42 2012 +0200
     1.3 @@ -94,7 +94,7 @@
     1.4  \end{isamarkuptext}%
     1.5  \isamarkuptrue%
     1.6  %
     1.7 -\isamarkupsection{Isabelle/jEdit Prover IDE%
     1.8 +\isamarkupsection{Isabelle/jEdit Prover IDE \label{sec:tool-jedit}%
     1.9  }
    1.10  \isamarkuptrue%
    1.11  %