Add \usepackage{latexsym}
authoraspinall
Fri Jun 18 00:32:54 2004 +0200 (2004-06-18)
changeset 1496653e6823b0971
parent 14965 7155b319eafa
child 14967 0343cf20d568
Add \usepackage{latexsym}
lib/texinputs/draft.tex
     1.1 --- a/lib/texinputs/draft.tex	Thu Jun 17 22:01:23 2004 +0200
     1.2 +++ b/lib/texinputs/draft.tex	Fri Jun 18 00:32:54 2004 +0200
     1.3 @@ -9,6 +9,7 @@
     1.4  \usepackage{isabelle,isabellesym}
     1.5  \usepackage[latin1]{inputenc}
     1.6  \usepackage{pdfsetup}
     1.7 +\usepackage{latexsym}
     1.8  
     1.9  \pagestyle{myheadings}
    1.10  \renewcommand{\isamarkupheader}[1]%