# HG changeset patch
# User wenzelm
# Date 957881145 -7200
# Node ID d6c92979fa514e4dd3680c6f73e583b394e5deab
# Parent  c7d94539867739068797995dc73b56fe86d6f6c6
use proper version of pdfsetup.sty;

diff -r c7d945398677 -r d6c92979fa51 doc-src/TutorialI/IsaMakefile
--- 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
diff -r c7d945398677 -r d6c92979fa51 doc-src/TutorialI/Makefile
--- 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
 
diff -r c7d945398677 -r d6c92979fa51 doc-src/TutorialI/pdfsetup.sty
--- 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}}{}}
diff -r c7d945398677 -r d6c92979fa51 doc-src/TutorialI/tutorial.tex
--- 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]}