# HG changeset patch
# User wenzelm
# Date 1087582079 -7200
# Node ID 8159ade98144e447315cfe705a01a1235c8eeb20
# Parent  3d9126cbf0e6c5fd54a4430ebedc88a6912afb6a
more generous treatment of packages in draft prints;

diff -r 3d9126cbf0e6 -r 8159ade98144 lib/Tools/latex
--- a/lib/Tools/latex	Fri Jun 18 20:07:51 2004 +0200
+++ b/lib/Tools/latex	Fri Jun 18 20:07:59 2004 +0200
@@ -87,7 +87,7 @@
 function extract_syms ()
 {
   "$AUTO_PERL" -n \
-    -e '!m,%requires, && m,\\newcommand\{\\isasym(\w+)\}, && print "$1\n";' \
+    -e '(!m,%requires, || m,%requires latin1, || m,%requires amssymb, || m,%requires textcomp,) && m,\\newcommand\{\\isasym(\w+)\}, && print "$1\n";' \
     "$ISABELLE_HOME/lib/texinputs/isabellesym.sty" > "$DIR/syms.lst"
   "$AUTO_PERL" -n \
     -e 'm,\\newcommand\{\\isactrl(\w+)\}, && print "$1\n";' \
diff -r 3d9126cbf0e6 -r 8159ade98144 lib/texinputs/draft.tex
--- a/lib/texinputs/draft.tex	Fri Jun 18 20:07:51 2004 +0200
+++ b/lib/texinputs/draft.tex	Fri Jun 18 20:07:59 2004 +0200
@@ -7,9 +7,14 @@
 
 \documentclass[10pt,a4paper]{article}
 \usepackage{isabelle,isabellesym}
+
+%packages for unusual symbols -- selection needs to conform to
+%result of 'isatool latex -o syms'
 \usepackage[latin1]{inputenc}
+\usepackage{amssymb}
+\usepackage{textcomp}
+
 \usepackage{pdfsetup}
-\usepackage{latexsym}
 
 \pagestyle{myheadings}
 \renewcommand{\isamarkupheader}[1]%