lib/texinputs/draft.tex
changeset 28504 7ad7d7d6df47
parent 17530 25370ec2d44a
child 29145 b1c6f4563df7
     1.1 --- a/lib/texinputs/draft.tex	Sat Oct 04 16:19:49 2008 +0200
     1.2 +++ b/lib/texinputs/draft.tex	Sat Oct 04 17:40:56 2008 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  \documentclass[10pt,a4paper]{article}
     1.5  \usepackage{isabelle,isabellesym,pdfsetup}
     1.6  
     1.7 -%packages for unusual symbols according to 'isatool latex -o syms'
     1.8 +%packages for unusual symbols according to 'isabelle latex -o syms'
     1.9  \usepackage[latin1]{inputenc}
    1.10  \usepackage{amssymb}
    1.11  \usepackage{textcomp}