1.1 --- a/doc-src/System/Thy/Basics.thy	Sat Oct 04 16:05:08 2008 +0200
     1.2 +++ b/doc-src/System/Thy/Basics.thy	Sat Oct 04 16:05:09 2008 +0200
     1.3 @@ -126,7 +126,7 @@
     1.4  
     1.5    \begin{itemize}
     1.6  
     1.7 -  \item @{setting_def ISABELLE} and @{setting_def ISATOOL} are set
     1.8 +  \item @{setting_def ISABELLE} and @{setting_def ISABELLE_TOOL} are set
     1.9    automatically to the absolute path names of the @{executable
    1.10    "isabelle-process"} and @{executable isatool} executables,
    1.11    respectively.
    1.12 @@ -169,7 +169,7 @@
    1.13    a private @{verbatim "$ISABELLE_HOME_USER/etc/settings"}.
    1.14    
    1.15    \item[@{setting_def ISABELLE}@{text "\<^sup>*"}, @{setting
    1.16 -  ISATOOL}@{text "\<^sup>*"}] are automatically set to the full path
    1.17 +  ISABELLE_TOOL}@{text "\<^sup>*"}] are automatically set to the full path
    1.18    names of the @{executable "isabelle-process"} and @{executable
    1.19    isatool} executables, respectively.  Thus other tools and scripts
    1.20    need not assume that the @{"file" "$ISABELLE_HOME/bin"} directory is