# HG changeset patch
# User wenzelm
# Date 901032072 -7200
# Node ID 33fbffd06c123241f6fdaede49d682e21bd5fc81
# Parent  c677baeac0f70724764d41b25aa38915b7c8e7dc
fixed isabelle logo;

diff -r c677baeac0f7 -r 33fbffd06c12 doc-src/Intro/Makefile
--- a/doc-src/Intro/Makefile	Tue Jul 21 16:38:25 1998 +0200
+++ b/doc-src/Intro/Makefile	Tue Jul 21 16:41:12 1998 +0200
@@ -10,6 +10,7 @@
 	 ../proof.sty ../iman.sty ../extra.sty
 
 intro.dvi.gz:   $(FILES)
+	@ln -sf ../isabelle.eps .
 	-rm intro.dvi*
 	latex intro
 	bibtex intro
@@ -20,6 +21,7 @@
 	gzip -f intro.dvi
 
 dist:   $(FILES)
+	@ln -sf ../isabelle.eps .
 	-rm intro.dvi*
 	latex intro
 	latex intro
diff -r c677baeac0f7 -r 33fbffd06c12 doc-src/Intro/intro.tex
--- a/doc-src/Intro/intro.tex	Tue Jul 21 16:38:25 1998 +0200
+++ b/doc-src/Intro/intro.tex	Tue Jul 21 16:41:12 1998 +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.eps} \\[4ex] Introduction to Isabelle}   
 \author{{\em Lawrence C. Paulson}\\
         Computer Laboratory \\ University of Cambridge \\
         \texttt{lcp@cl.cam.ac.uk}\\[3ex] 
diff -r c677baeac0f7 -r 33fbffd06c12 doc-src/Logics/Makefile
--- a/doc-src/Logics/Makefile	Tue Jul 21 16:38:25 1998 +0200
+++ b/doc-src/Logics/Makefile	Tue Jul 21 16:41:12 1998 +0200
@@ -10,6 +10,7 @@
 	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
 
 logics.dvi.gz:   $(FILES) 
+	@ln -sf ../isabelle.eps .
 	-rm logics.dvi*
 	latex logics
 	rail logics
@@ -21,6 +22,7 @@
 	gzip -f logics.dvi
 
 dist:   $(FILES) 
+	@ln -sf ../isabelle.eps .
 	-rm logics.dvi*
 	latex logics
 	latex logics
diff -r c677baeac0f7 -r 33fbffd06c12 doc-src/Logics/logics.tex
--- a/doc-src/Logics/logics.tex	Tue Jul 21 16:38:25 1998 +0200
+++ b/doc-src/Logics/logics.tex	Tue Jul 21 16:41:12 1998 +0200
@@ -16,7 +16,7 @@
 %%% to index constants:   \\tt \([a-zA-Z0-9][a-zA-Z0-9_]*\)     \\cdx{\1}  
 %%% to deverbify:         \\verb|\([^|]*\)|     \\ttindex{\1}  
 %% run    ../sedindex logics    to prepare index file
-\title{\includegraphics[scale=0.5]{../isabelle.eps} \\[4ex] Isabelle's Object-Logics}
+\title{\includegraphics[scale=0.5]{isabelle.eps} \\[4ex] Isabelle's Object-Logics}
 
 \author{{\em Lawrence C. Paulson}\\
         Computer Laboratory \\ University of Cambridge \\
diff -r c677baeac0f7 -r 33fbffd06c12 doc-src/Ref/Makefile
--- a/doc-src/Ref/Makefile	Tue Jul 21 16:38:25 1998 +0200
+++ b/doc-src/Ref/Makefile	Tue Jul 21 16:41:12 1998 +0200
@@ -12,6 +12,7 @@
 	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
 
 ref.dvi.gz:   $(FILES) 
+	@ln -sf ../isabelle.eps .
 	-rm ref.dvi*
 	latex ref
 	rail ref
@@ -23,6 +24,7 @@
 	gzip -f ref.dvi
 
 dist:   $(FILES) 
+	@ln -sf ../isabelle.eps .
 	-rm ref.dvi*
 	latex ref
 	latex ref
diff -r c677baeac0f7 -r 33fbffd06c12 doc-src/Ref/ref.tex
--- a/doc-src/Ref/ref.tex	Tue Jul 21 16:38:25 1998 +0200
+++ b/doc-src/Ref/ref.tex	Tue Jul 21 16:41:12 1998 +0200
@@ -7,7 +7,7 @@
 %%% to delete old ones:  \\indexbold{\*[^}]*}
 %% run    sedindex ref    to prepare index file
 %%% needs chapter on Provers/typedsimp.ML?
-\title{\includegraphics[scale=0.5]{../isabelle.eps} \\[4ex] The Isabelle Reference Manual}
+\title{\includegraphics[scale=0.5]{isabelle.eps} \\[4ex] The Isabelle Reference Manual}
 
 \author{{\em Lawrence C. Paulson}\\
         Computer Laboratory \\ University of Cambridge \\
diff -r c677baeac0f7 -r 33fbffd06c12 doc-src/System/Makefile
--- a/doc-src/System/Makefile	Tue Jul 21 16:38:25 1998 +0200
+++ b/doc-src/System/Makefile	Tue Jul 21 16:41:12 1998 +0200
@@ -9,7 +9,8 @@
 FILES =  system.tex \
 	 ../iman.sty ../extra.sty
 
-system.dvi.gz:   $(FILES) 
+system.dvi.gz:   $(FILES)
+	@ln -sf ../isabelle.eps .
 	-rm system.dvi*
 	latex system
 	latex system
@@ -17,7 +18,8 @@
 	latex system
 	gzip -f system.dvi
 
-dist:   $(FILES) 
+dist:   $(FILES)
+	@ln -sf ../isabelle.eps .
 	-rm system.dvi*
 	latex system
 	latex system
diff -r c677baeac0f7 -r 33fbffd06c12 doc-src/System/system.tex
--- a/doc-src/System/system.tex	Tue Jul 21 16:38:25 1998 +0200
+++ b/doc-src/System/system.tex	Tue Jul 21 16:41:12 1998 +0200
@@ -5,7 +5,7 @@
 \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