
diff -r 18ee74d6bba1 -r 51f95648abad lib/texinputs/draft.tex
--- a/lib/texinputs/draft.tex	Fri Jun 18 20:10:52 2004 +0200
+++ b/lib/texinputs/draft.tex	Sun Jun 20 09:26:29 2004 +0200
@@ -6,16 +6,13 @@
 %%
 
 \documentclass[10pt,a4paper]{article}
-\usepackage{isabelle,isabellesym}
+\usepackage{isabelle,isabellesym,pdfsetup}
 
-%packages for unusual symbols -- selection needs to conform to
-%result of 'isatool latex -o syms'
+%packages for unusual symbols according to 'isatool latex -o syms'
 \usepackage[latin1]{inputenc}
 \usepackage{amssymb}
 \usepackage{textcomp}
 
-\usepackage{pdfsetup}
-
 \pagestyle{myheadings}
 \renewcommand{\isamarkupheader}[1]%
 {{\def\isacharunderscore{\mbox{-}}%




