# HG changeset patch
# User aspinall
# Date 1087511574 -7200
# Node ID 53e6823b0971c4525c78abdee209e7af1d5a9682
# Parent  7155b319eafa85f42f5c3337d64c3afd4305fd23
Add \usepackage{latexsym}

diff -r 7155b319eafa -r 53e6823b0971 lib/texinputs/draft.tex
--- a/lib/texinputs/draft.tex	Thu Jun 17 22:01:23 2004 +0200
+++ b/lib/texinputs/draft.tex	Fri Jun 18 00:32:54 2004 +0200
@@ -9,6 +9,7 @@
 \usepackage{isabelle,isabellesym}
 \usepackage[latin1]{inputenc}
 \usepackage{pdfsetup}
+\usepackage{latexsym}
 
 \pagestyle{myheadings}
 \renewcommand{\isamarkupheader}[1]%