use proper version of pdfsetup.sty;
authorwenzelm
Tue May 09 16:05:45 2000 +0200 (2000-05-09)
changeset 8847d6c92979fa51
parent 8846 c7d945398677
child 8848 b06d183df34d
use proper version of pdfsetup.sty;
doc-src/TutorialI/IsaMakefile
doc-src/TutorialI/Makefile
doc-src/TutorialI/pdfsetup.sty
doc-src/TutorialI/tutorial.tex
     1.1 --- a/doc-src/TutorialI/IsaMakefile	Tue May 09 16:05:30 2000 +0200
     1.2 +++ b/doc-src/TutorialI/IsaMakefile	Tue May 09 16:05:45 2000 +0200
     1.3 @@ -20,7 +20,8 @@
     1.4  	@cd $(SRC)/HOL; $(ISATOOL) make HOL
     1.5  
     1.6  styles:
     1.7 -	@$(ISATOOL) latex -o sty
     1.8 +	@$(ISATOOL) latex -o sty >/dev/null
     1.9 +	@rm -f pdfsetup.sty
    1.10  	@rm -f */document/isabelle.sty
    1.11  	@rm -f */document/isabellesym.sty
    1.12  	@rm -f */document/pdfsetup.sty
     2.1 --- a/doc-src/TutorialI/Makefile	Tue May 09 16:05:30 2000 +0200
     2.2 +++ b/doc-src/TutorialI/Makefile	Tue May 09 16:05:45 2000 +0200
     2.3 @@ -14,7 +14,7 @@
     2.4  NAME = tutorial
     2.5  FILES = tutorial.tex basics.tex fp.tex appendix.tex \
     2.6  	../iman.sty ttbox.sty extra.sty \
     2.7 -	isabelle.sty isabellesym.sty pdfsetup.sty
     2.8 +	isabelle.sty isabellesym.sty ../pdfsetup.sty
     2.9  
    2.10  dvi: $(NAME).dvi
    2.11  
     3.1 --- a/doc-src/TutorialI/pdfsetup.sty	Tue May 09 16:05:30 2000 +0200
     3.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     3.3 @@ -1,9 +0,0 @@
     3.4 -%%
     3.5 -%% $Id$
     3.6 -%%
     3.7 -%% conditional url/hyperref setup
     3.8 -%%
     3.9 -
    3.10 -\@ifundefined{pdfoutput}{\usepackage{url}}
    3.11 -{\usepackage[pdftex,a4paper,colorlinks=true]{hyperref}
    3.12 -  \IfFileExists{thumbpdf.sty}{\usepackage{thumbpdf}}{}}
     4.1 --- a/doc-src/TutorialI/tutorial.tex	Tue May 09 16:05:30 2000 +0200
     4.2 +++ b/doc-src/TutorialI/tutorial.tex	Tue May 09 16:05:45 2000 +0200
     4.3 @@ -1,6 +1,8 @@
     4.4 +
     4.5  \documentclass[11pt,a4paper]{report}
     4.6 -\usepackage{isabelle,isabellesym,pdfsetup}
     4.7 +\usepackage{isabelle,isabellesym}
     4.8  \usepackage{latexsym,verbatim,graphicx,../iman,extra,comment}
     4.9 +\usepackage{../pdfsetup}    %last package!
    4.10  
    4.11  \usepackage{ttbox}
    4.12  \newcommand\ttbreak{\vskip-10pt\pagebreak[0]}