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 5167 10e033194e9d
parent 5165 ac83801ab294
child 5170 33fbffd06c12 
--- a/doc-src/Intro/intro.tex	Tue Jul 21 08:53:24 1998 +0200
+++ b/doc-src/Intro/intro.tex	Tue Jul 21 08:54:09 1998 +0200
@@ -7,7 +7,7 @@
 %prth *(\(.*\));          \1;      
 %{\\out \(.*\)}          {\\out val it = "\1" : thm}
 
-\title{\includegraphics[scale=0.5]{../isabelle.ps} \\[4ex] Introduction to Isabelle}   
+\title{\includegraphics[scale=0.5]{../isabelle.eps} \\[4ex] Introduction to Isabelle}   
 \author{{\em Lawrence C. Paulson}\\
         Computer Laboratory \\ University of Cambridge \\
         \texttt{lcp@cl.cam.ac.uk}\\[3ex]
isabelle