doc-src/Intro/intro.tex

 %% run    bibtex intro         to prepare bibliography
 %% run    ../sedindex intro    to prepare index file
 %prth *(\(.*\));          \1;      
 %{\\out \(.*\)}          {\\out val it = "\1" : thm}
 
-\title{\includegraphics[scale=0.5]{isabelle.eps} \\[4ex] Introduction to Isabelle}   
+\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] Introduction to Isabelle}   
 \author{{\em Lawrence C. Paulson}\\
         Computer Laboratory \\ University of Cambridge \\
         \texttt{[e-mail]}\\[3ex] 
         With Contributions by Tobias Nipkow and Markus Wenzel
 }