lib/texinputs/draft.tex
changeset 14970 8159ade98144
parent 14966 53e6823b0971
child 14972 51f95648abad
     1.1 --- a/lib/texinputs/draft.tex	Fri Jun 18 20:07:51 2004 +0200
     1.2 +++ b/lib/texinputs/draft.tex	Fri Jun 18 20:07:59 2004 +0200
     1.3 @@ -7,9 +7,14 @@
     1.4  
     1.5  \documentclass[10pt,a4paper]{article}
     1.6  \usepackage{isabelle,isabellesym}
     1.7 +
     1.8 +%packages for unusual symbols -- selection needs to conform to
     1.9 +%result of 'isatool latex -o syms'
    1.10  \usepackage[latin1]{inputenc}
    1.11 +\usepackage{amssymb}
    1.12 +\usepackage{textcomp}
    1.13 +
    1.14  \usepackage{pdfsetup}
    1.15 -\usepackage{latexsym}
    1.16  
    1.17  \pagestyle{myheadings}
    1.18  \renewcommand{\isamarkupheader}[1]%