doc-src/System/system.tex

--- a/doc-src/System/system.tex	Mon May 10 15:35:03 1999 +0200
+++ b/doc-src/System/system.tex	Mon May 10 16:35:22 1999 +0200
@@ -5,7 +5,7 @@
 \usepackage{graphicx,a4,../iman,../extra,../pdfsetup}
 
 
-\title{\includegraphics[scale=0.5]{isabelle.eps} \\[4ex] The Isabelle System Manual}
+\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual}
 
 \author{{\em Markus Wenzel}\/\thanks{Section~\protect\ref{sec:info} was
     written by Carsten Clasohm.  Section~\protect\ref{sec:browse} was