1.1 --- a/doc-src/System/Thy/Basics.thy	Sun Nov 30 12:25:54 2008 +0100
     1.2 +++ b/doc-src/System/Thy/Basics.thy	Sun Nov 30 12:58:20 2008 +0100
     1.3 @@ -100,7 +100,7 @@
     1.4    \item The file @{verbatim "$ISABELLE_HOME_USER/etc/settings"} (if it
     1.5    exists) is run in the same way as the site default settings. Note
     1.6    that the variable @{setting ISABELLE_HOME_USER} has already been set
     1.7 -  before --- usually to @{verbatim "~/isabelle"}.
     1.8 +  before --- usually to @{verbatim "~/.isabelle"}.
     1.9    
    1.10    Thus individual users may override the site-wide defaults.  See also
    1.11    file @{"file" "$ISABELLE_HOME/etc/user-settings.sample"} in the
    1.12 @@ -161,7 +161,7 @@
    1.13    
    1.14    \item[@{setting_def ISABELLE_HOME_USER}] is the user-specific
    1.15    counterpart of @{setting ISABELLE_HOME}. The default value is
    1.16 -  @{verbatim "~/isabelle"}, under rare circumstances this may be
    1.17 +  @{verbatim "~/.isabelle"}, under rare circumstances this may be
    1.18    changed in the global setting file.  Typically, the @{setting
    1.19    ISABELLE_HOME_USER} directory mimics @{setting ISABELLE_HOME} to
    1.20    some extend. In particular, site-wide defaults may be overridden by