--- 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
--- 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]
--- 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
--- 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 \\
--- 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
--- 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 \\
--- 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
--- 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