1.1 --- a/lib/Tools/latex	Fri Jun 18 20:07:51 2004 +0200
     1.2 +++ b/lib/Tools/latex	Fri Jun 18 20:07:59 2004 +0200
     1.3 @@ -87,7 +87,7 @@
     1.4  function extract_syms ()
     1.5  {
     1.6    "$AUTO_PERL" -n \
     1.7 -    -e '!m,%requires, && m,\\newcommand\{\\isasym(\w+)\}, && print "$1\n";' \
     1.8 +    -e '(!m,%requires, || m,%requires latin1, || m,%requires amssymb, || m,%requires textcomp,) && m,\\newcommand\{\\isasym(\w+)\}, && print "$1\n";' \
     1.9      "$ISABELLE_HOME/lib/texinputs/isabellesym.sty" > "$DIR/syms.lst"
    1.10    "$AUTO_PERL" -n \
    1.11      -e 'm,\\newcommand\{\\isactrl(\w+)\}, && print "$1\n";' \

     2.1 --- a/lib/texinputs/draft.tex	Fri Jun 18 20:07:51 2004 +0200
     2.2 +++ b/lib/texinputs/draft.tex	Fri Jun 18 20:07:59 2004 +0200
     2.3 @@ -7,9 +7,14 @@
     2.4  
     2.5  \documentclass[10pt,a4paper]{article}
     2.6  \usepackage{isabelle,isabellesym}
     2.7 +
     2.8 +%packages for unusual symbols -- selection needs to conform to
     2.9 +%result of 'isatool latex -o syms'
    2.10  \usepackage[latin1]{inputenc}
    2.11 +\usepackage{amssymb}
    2.12 +\usepackage{textcomp}
    2.13 +
    2.14  \usepackage{pdfsetup}
    2.15 -\usepackage{latexsym}
    2.16  
    2.17  \pagestyle{myheadings}
    2.18  \renewcommand{\isamarkupheader}[1]%