1.1 --- a/doc-src/System/system.tex	Tue Sep 30 17:31:19 1997 +0200
     1.2 +++ b/doc-src/System/system.tex	Tue Sep 30 17:32:33 1997 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4  %% $Id$
     1.5  
     1.6  \documentclass[12pt]{report}
     1.7 -\usepackage{a4,graphicx}
     1.8 +\usepackage{a4,epsf}
     1.9  
    1.10  \makeatletter
    1.11  \input{../iman.sty}
    1.12 @@ -15,8 +15,8 @@
    1.13          Computer Laboratory \\ University of Cambridge \\
    1.14          \texttt{lcp@cl.cam.ac.uk}\\[3ex] 
    1.15          With Contributions by Tobias Nipkow and Markus Wenzel
    1.16 -        \thanks{Section~\protect\ref{sec:html} was written by Carsten
    1.17 -          Clasohm.  Chapter~\protect\ref{sec:browse} was written by Stefan
    1.18 +        \thanks{Section~\protect\ref{sec:info} was written by Carsten
    1.19 +          Clasohm.  Section~\protect\ref{sec:browse} was written by Stefan
    1.20            Berghofer. Other parts are by Markus Wenzel.}}
    1.21  
    1.22  \makeindex
    1.23 @@ -39,7 +39,6 @@
    1.24  \include{misc}
    1.25  \include{fonts}
    1.26  \include{present}
    1.27 -%\include{browse}
    1.28  
    1.29  %\begingroup
    1.30  %  \bibliographystyle{plain} \small\raggedright\frenchspacing