Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/IsarImplementation/Thy/document/proof.tex
changeset 28541 9b259710d9d3
parent 26854 9b4aec46ad78 
--- a/doc-src/IsarImplementation/Thy/document/proof.tex	Thu Oct 09 18:16:07 2008 +0200
+++ b/doc-src/IsarImplementation/Thy/document/proof.tex	Thu Oct 09 19:24:21 2008 +0200
@@ -278,7 +278,7 @@
 %
 \endisadelimmlref
 %
-\isamarkupsection{Results%
+\isamarkupsection{Results \label{sec:results}%
 }
 \isamarkuptrue%
 %
isabelle