# HG changeset patch
# User berghofe
# Date 875633553 -7200
# Node ID 78ee75eb5d79e5578a119753e7a467cd5a1eb157
# Parent  5fd734bed0d4312e4029e5a9f68dff4d7e888040
Removed "browse.tex".

diff -r 5fd734bed0d4 -r 78ee75eb5d79 doc-src/System/system.tex
--- a/doc-src/System/system.tex	Tue Sep 30 17:31:19 1997 +0200
+++ b/doc-src/System/system.tex	Tue Sep 30 17:32:33 1997 +0200
@@ -2,7 +2,7 @@
 %% $Id$
 
 \documentclass[12pt]{report}
-\usepackage{a4,graphicx}
+\usepackage{a4,epsf}
 
 \makeatletter
 \input{../iman.sty}
@@ -15,8 +15,8 @@
         Computer Laboratory \\ University of Cambridge \\
         \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{sec:browse} was written by Stefan
+        \thanks{Section~\protect\ref{sec:info} was written by Carsten
+          Clasohm.  Section~\protect\ref{sec:browse} was written by Stefan
           Berghofer. Other parts are by Markus Wenzel.}}
 
 \makeindex
@@ -39,7 +39,6 @@
 \include{misc}
 \include{fonts}
 \include{present}
-%\include{browse}
 
 %\begingroup
 %  \bibliographystyle{plain} \small\raggedright\frenchspacing