--- a/doc-src/System/system.tex Mon May 12 18:34:34 1997 +0200
+++ b/doc-src/System/system.tex Mon May 12 18:34:49 1997 +0200
@@ -15,8 +15,9 @@
Computer Laboratory \\ University of Cambridge \\
\texttt{lcp@cl.cam.ac.uk}\\[3ex]
With Contributions by Tobias Nipkow and Markus Wenzel%
-\thanks{ Chapter~\protect\ref{html} was written by Carsten Clasohm.
- Chapter~\protect\ref{browse} was written by Stefan Berghofer.}}
+ \thanks{Chapter~\protect\ref{html} was written by Carsten
+ Clasohm. Chapter~\protect\ref{browse} was written by Stefan
+ Berghofer. Some other parts are by Markus Wenzel.}}
\makeindex