--- a/etc/settings Sat Oct 04 16:19:49 2008 +0200
+++ b/etc/settings Sat Oct 04 17:40:56 2008 +0200
@@ -82,7 +82,7 @@
###
-### Interactive sessions (cf. isatool tty)
+### Interactive sessions (cf. isabelle tty)
###
ISABELLE_LINE_EDITOR=""
@@ -91,7 +91,7 @@
###
-### Batch sessions (cf. isatool usedir)
+### Batch sessions (cf. isabelle usedir)
###
ISABELLE_USEDIR_OPTIONS="-p 1 -v true -V outline=/proof,/ML"
@@ -109,7 +109,7 @@
###
-### Document preparation (cf. isatool latex/document)
+### Document preparation (cf. isabelle latex/document)
###
ISABELLE_LATEX="latex"