1.1 --- a/etc/settings	Sat Oct 04 16:19:49 2008 +0200
     1.2 +++ b/etc/settings	Sat Oct 04 17:40:56 2008 +0200
     1.3 @@ -82,7 +82,7 @@
     1.4  
     1.5  
     1.6  ###
     1.7 -### Interactive sessions (cf. isatool tty)
     1.8 +### Interactive sessions (cf. isabelle tty)
     1.9  ###
    1.10  
    1.11  ISABELLE_LINE_EDITOR=""
    1.12 @@ -91,7 +91,7 @@
    1.13  
    1.14  
    1.15  ###
    1.16 -### Batch sessions (cf. isatool usedir)
    1.17 +### Batch sessions (cf. isabelle usedir)
    1.18  ###
    1.19  
    1.20  ISABELLE_USEDIR_OPTIONS="-p 1 -v true -V outline=/proof,/ML"
    1.21 @@ -109,7 +109,7 @@
    1.22  
    1.23  
    1.24  ###
    1.25 -### Document preparation (cf. isatool latex/document)
    1.26 +### Document preparation (cf. isabelle latex/document)
    1.27  ###
    1.28  
    1.29  ISABELLE_LATEX="latex"