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/System/system.tex
changeset 3262 7115da553895
parent 3217 d30d62128fe5
child 3278 636322bfd057 
--- a/doc-src/System/system.tex	Tue May 20 19:33:53 1997 +0200
+++ b/doc-src/System/system.tex	Tue May 20 19:34:24 1997 +0200
@@ -16,7 +16,7 @@
         \texttt{lcp@cl.cam.ac.uk}\\[3ex] 
         With Contributions by Tobias Nipkow and Markus Wenzel%
         \thanks{Section~\protect\ref{sec:html} was written by Carsten
-          Clasohm.  Chapter~\protect\ref{browse} was written by Stefan
+          Clasohm.  Chapter~\protect\ref{sec:browse} was written by Stefan
           Berghofer. Other parts are by Markus Wenzel.}}
 
 \makeindex
isabelle