Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Removed "browse.tex".
authorberghofe
Tue, 30 Sep 1997 17:32:33 +0200
changeset 3754 78ee75eb5d79
parent 3753 5fd734bed0d4
child 3755 f3d35f501ec1
Removed "browse.tex".
doc-src/System/system.tex file | annotate | diff | comparison | revisions 
--- 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
isabelle