changeset 26873 | 691f35f855cd |
parent 26867 | 6274cf7e2b8e |
child 26902 | 8db1e960d636 |
--- a/doc-src/IsarImplementation/Thy/document/prelim.tex Sat May 10 14:13:03 2008 +0200 +++ b/doc-src/IsarImplementation/Thy/document/prelim.tex Sat May 10 14:13:20 2008 +0200 @@ -474,7 +474,7 @@ % \endisadelimmlref % -\isamarkupsection{Names% +\isamarkupsection{Names \label{sec:names}% } \isamarkuptrue% %