--- a/doc-src/TutorialI/IsaMakefile Tue May 09 16:05:30 2000 +0200
+++ b/doc-src/TutorialI/IsaMakefile Tue May 09 16:05:45 2000 +0200
@@ -20,7 +20,8 @@
@cd $(SRC)/HOL; $(ISATOOL) make HOL
styles:
- @$(ISATOOL) latex -o sty
+ @$(ISATOOL) latex -o sty >/dev/null
+ @rm -f pdfsetup.sty
@rm -f */document/isabelle.sty
@rm -f */document/isabellesym.sty
@rm -f */document/pdfsetup.sty
--- a/doc-src/TutorialI/Makefile Tue May 09 16:05:30 2000 +0200
+++ b/doc-src/TutorialI/Makefile Tue May 09 16:05:45 2000 +0200
@@ -14,7 +14,7 @@
NAME = tutorial
FILES = tutorial.tex basics.tex fp.tex appendix.tex \
../iman.sty ttbox.sty extra.sty \
- isabelle.sty isabellesym.sty pdfsetup.sty
+ isabelle.sty isabellesym.sty ../pdfsetup.sty
dvi: $(NAME).dvi
--- a/doc-src/TutorialI/pdfsetup.sty Tue May 09 16:05:30 2000 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,9 +0,0 @@
-%%
-%% $Id$
-%%
-%% conditional url/hyperref setup
-%%
-
-\@ifundefined{pdfoutput}{\usepackage{url}}
-{\usepackage[pdftex,a4paper,colorlinks=true]{hyperref}
- \IfFileExists{thumbpdf.sty}{\usepackage{thumbpdf}}{}}
--- a/doc-src/TutorialI/tutorial.tex Tue May 09 16:05:30 2000 +0200
+++ b/doc-src/TutorialI/tutorial.tex Tue May 09 16:05:45 2000 +0200
@@ -1,6 +1,8 @@
+
\documentclass[11pt,a4paper]{report}
-\usepackage{isabelle,isabellesym,pdfsetup}
+\usepackage{isabelle,isabellesym}
\usepackage{latexsym,verbatim,graphicx,../iman,extra,comment}
+\usepackage{../pdfsetup} %last package!
\usepackage{ttbox}
\newcommand\ttbreak{\vskip-10pt\pagebreak[0]}