lib/texinputs/draft.tex
changeset 14972 51f95648abad
parent 14970 8159ade98144
child 15010 72fbe711e414
     1.1 --- a/lib/texinputs/draft.tex	Fri Jun 18 20:10:52 2004 +0200
     1.2 +++ b/lib/texinputs/draft.tex	Sun Jun 20 09:26:29 2004 +0200
     1.3 @@ -6,16 +6,13 @@
     1.4  %%
     1.5  
     1.6  \documentclass[10pt,a4paper]{article}
     1.7 -\usepackage{isabelle,isabellesym}
     1.8 +\usepackage{isabelle,isabellesym,pdfsetup}
     1.9  
    1.10 -%packages for unusual symbols -- selection needs to conform to
    1.11 -%result of 'isatool latex -o syms'
    1.12 +%packages for unusual symbols according to 'isatool latex -o syms'
    1.13  \usepackage[latin1]{inputenc}
    1.14  \usepackage{amssymb}
    1.15  \usepackage{textcomp}
    1.16  
    1.17 -\usepackage{pdfsetup}
    1.18 -
    1.19  \pagestyle{myheadings}
    1.20  \renewcommand{\isamarkupheader}[1]%
    1.21  {{\def\isacharunderscore{\mbox{-}}%