--- 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{-}}%