fixed isabelle logo;
authorwenzelm
Tue Jul 21 16:41:12 1998 +0200 (1998-07-21)
changeset 517033fbffd06c12
parent 5169 c677baeac0f7
child 5171 cca9a908c270
fixed isabelle logo;
doc-src/Intro/Makefile
doc-src/Intro/intro.tex
doc-src/Logics/Makefile
doc-src/Logics/logics.tex
doc-src/Ref/Makefile
doc-src/Ref/ref.tex
doc-src/System/Makefile
doc-src/System/system.tex
     1.1 --- a/doc-src/Intro/Makefile	Tue Jul 21 16:38:25 1998 +0200
     1.2 +++ b/doc-src/Intro/Makefile	Tue Jul 21 16:41:12 1998 +0200
     1.3 @@ -10,6 +10,7 @@
     1.4  	 ../proof.sty ../iman.sty ../extra.sty
     1.5  
     1.6  intro.dvi.gz:   $(FILES)
     1.7 +	@ln -sf ../isabelle.eps .
     1.8  	-rm intro.dvi*
     1.9  	latex intro
    1.10  	bibtex intro
    1.11 @@ -20,6 +21,7 @@
    1.12  	gzip -f intro.dvi
    1.13  
    1.14  dist:   $(FILES)
    1.15 +	@ln -sf ../isabelle.eps .
    1.16  	-rm intro.dvi*
    1.17  	latex intro
    1.18  	latex intro
     2.1 --- a/doc-src/Intro/intro.tex	Tue Jul 21 16:38:25 1998 +0200
     2.2 +++ b/doc-src/Intro/intro.tex	Tue Jul 21 16:41:12 1998 +0200
     2.3 @@ -7,7 +7,7 @@
     2.4  %prth *(\(.*\));          \1;      
     2.5  %{\\out \(.*\)}          {\\out val it = "\1" : thm}
     2.6  
     2.7 -\title{\includegraphics[scale=0.5]{../isabelle.eps} \\[4ex] Introduction to Isabelle}   
     2.8 +\title{\includegraphics[scale=0.5]{isabelle.eps} \\[4ex] Introduction to Isabelle}   
     2.9  \author{{\em Lawrence C. Paulson}\\
    2.10          Computer Laboratory \\ University of Cambridge \\
    2.11          \texttt{lcp@cl.cam.ac.uk}\\[3ex] 
     3.1 --- a/doc-src/Logics/Makefile	Tue Jul 21 16:38:25 1998 +0200
     3.2 +++ b/doc-src/Logics/Makefile	Tue Jul 21 16:41:12 1998 +0200
     3.3 @@ -10,6 +10,7 @@
     3.4  	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
     3.5  
     3.6  logics.dvi.gz:   $(FILES) 
     3.7 +	@ln -sf ../isabelle.eps .
     3.8  	-rm logics.dvi*
     3.9  	latex logics
    3.10  	rail logics
    3.11 @@ -21,6 +22,7 @@
    3.12  	gzip -f logics.dvi
    3.13  
    3.14  dist:   $(FILES) 
    3.15 +	@ln -sf ../isabelle.eps .
    3.16  	-rm logics.dvi*
    3.17  	latex logics
    3.18  	latex logics
     4.1 --- a/doc-src/Logics/logics.tex	Tue Jul 21 16:38:25 1998 +0200
     4.2 +++ b/doc-src/Logics/logics.tex	Tue Jul 21 16:41:12 1998 +0200
     4.3 @@ -16,7 +16,7 @@
     4.4  %%% to index constants:   \\tt \([a-zA-Z0-9][a-zA-Z0-9_]*\)     \\cdx{\1}  
     4.5  %%% to deverbify:         \\verb|\([^|]*\)|     \\ttindex{\1}  
     4.6  %% run    ../sedindex logics    to prepare index file
     4.7 -\title{\includegraphics[scale=0.5]{../isabelle.eps} \\[4ex] Isabelle's Object-Logics}
     4.8 +\title{\includegraphics[scale=0.5]{isabelle.eps} \\[4ex] Isabelle's Object-Logics}
     4.9  
    4.10  \author{{\em Lawrence C. Paulson}\\
    4.11          Computer Laboratory \\ University of Cambridge \\
     5.1 --- a/doc-src/Ref/Makefile	Tue Jul 21 16:38:25 1998 +0200
     5.2 +++ b/doc-src/Ref/Makefile	Tue Jul 21 16:41:12 1998 +0200
     5.3 @@ -12,6 +12,7 @@
     5.4  	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
     5.5  
     5.6  ref.dvi.gz:   $(FILES) 
     5.7 +	@ln -sf ../isabelle.eps .
     5.8  	-rm ref.dvi*
     5.9  	latex ref
    5.10  	rail ref
    5.11 @@ -23,6 +24,7 @@
    5.12  	gzip -f ref.dvi
    5.13  
    5.14  dist:   $(FILES) 
    5.15 +	@ln -sf ../isabelle.eps .
    5.16  	-rm ref.dvi*
    5.17  	latex ref
    5.18  	latex ref
     6.1 --- a/doc-src/Ref/ref.tex	Tue Jul 21 16:38:25 1998 +0200
     6.2 +++ b/doc-src/Ref/ref.tex	Tue Jul 21 16:41:12 1998 +0200
     6.3 @@ -7,7 +7,7 @@
     6.4  %%% to delete old ones:  \\indexbold{\*[^}]*}
     6.5  %% run    sedindex ref    to prepare index file
     6.6  %%% needs chapter on Provers/typedsimp.ML?
     6.7 -\title{\includegraphics[scale=0.5]{../isabelle.eps} \\[4ex] The Isabelle Reference Manual}
     6.8 +\title{\includegraphics[scale=0.5]{isabelle.eps} \\[4ex] The Isabelle Reference Manual}
     6.9  
    6.10  \author{{\em Lawrence C. Paulson}\\
    6.11          Computer Laboratory \\ University of Cambridge \\
     7.1 --- a/doc-src/System/Makefile	Tue Jul 21 16:38:25 1998 +0200
     7.2 +++ b/doc-src/System/Makefile	Tue Jul 21 16:41:12 1998 +0200
     7.3 @@ -9,7 +9,8 @@
     7.4  FILES =  system.tex \
     7.5  	 ../iman.sty ../extra.sty
     7.6  
     7.7 -system.dvi.gz:   $(FILES) 
     7.8 +system.dvi.gz:   $(FILES)
     7.9 +	@ln -sf ../isabelle.eps .
    7.10  	-rm system.dvi*
    7.11  	latex system
    7.12  	latex system
    7.13 @@ -17,7 +18,8 @@
    7.14  	latex system
    7.15  	gzip -f system.dvi
    7.16  
    7.17 -dist:   $(FILES) 
    7.18 +dist:   $(FILES)
    7.19 +	@ln -sf ../isabelle.eps .
    7.20  	-rm system.dvi*
    7.21  	latex system
    7.22  	latex system
     8.1 --- a/doc-src/System/system.tex	Tue Jul 21 16:38:25 1998 +0200
     8.2 +++ b/doc-src/System/system.tex	Tue Jul 21 16:41:12 1998 +0200
     8.3 @@ -5,7 +5,7 @@
     8.4  \usepackage{graphicx,a4,../iman,../extra,../pdfsetup}
     8.5  
     8.6  
     8.7 -\title{\includegraphics[scale=0.5]{../isabelle.eps} \\[4ex] The Isabelle System Manual}
     8.8 +\title{\includegraphics[scale=0.5]{isabelle.eps} \\[4ex] The Isabelle System Manual}
     8.9  
    8.10  \author{{\em Markus Wenzel}\/\thanks{Section~\protect\ref{sec:info} was
    8.11      written by Carsten Clasohm.  Section~\protect\ref{sec:browse} was