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}