diff -r a30b7169fdd1 -r 7ad7d7d6df47 lib/texinputs/draft.tex --- a/lib/texinputs/draft.tex Sat Oct 04 16:19:49 2008 +0200 +++ b/lib/texinputs/draft.tex Sat Oct 04 17:40:56 2008 +0200 @@ -7,7 +7,7 @@ \documentclass[10pt,a4paper]{article} \usepackage{isabelle,isabellesym,pdfsetup} -%packages for unusual symbols according to 'isatool latex -o syms' +%packages for unusual symbols according to 'isabelle latex -o syms' \usepackage[latin1]{inputenc} \usepackage{amssymb} \usepackage{textcomp}