Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/Intro/intro.tex
changeset 6611 08dfd050b373
parent 6592 c120262044b6
child 7827 c9c615d970db 
--- a/doc-src/Intro/intro.tex	Thu May 06 18:48:46 1999 +0200
+++ b/doc-src/Intro/intro.tex	Thu May 06 19:04:20 1999 +0200
@@ -7,7 +7,7 @@
 %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{lcp@cl.cam.ac.uk}\\[3ex]
isabelle