doc-src/System/system.tex

 
 \documentclass[12pt]{report}
 \usepackage{graphicx,a4,../iman,../extra,../pdfsetup}
 
 
-\title{\includegraphics[scale=0.5]{../isabelle.eps} \\[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
     written by Stefan Berghofer.} \\
   TU M\"unchen}