--- a/doc-src/System/system.tex Tue Jul 21 08:53:24 1998 +0200
+++ b/doc-src/System/system.tex Tue Jul 21 08:54:09 1998 +0200
@@ -5,7 +5,7 @@
\usepackage{graphicx,a4,../iman,../extra,../pdfsetup}
-\title{\includegraphics[scale=0.5]{../isabelle.ps} \\[4ex] The Isabelle System Manual}
+\title{\includegraphics[scale=0.5]{../isabelle.eps} \\[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