1.1 --- a/doc-src/System/Thy/document/Basics.tex	Sun Nov 30 12:25:54 2008 +0100
     1.2 +++ b/doc-src/System/Thy/document/Basics.tex	Sun Nov 30 12:58:20 2008 +0100
     1.3 @@ -117,7 +117,7 @@
     1.4    \item The file \verb|$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 \hyperlink{setting.ISABELLE-HOME-USER}{\mbox{\isa{\isatt{ISABELLE{\isacharunderscore}HOME{\isacharunderscore}USER}}}} has already been set
     1.7 -  before --- usually to \verb|~/isabelle|.
     1.8 +  before --- usually to \verb|~/.isabelle|.
     1.9    
    1.10    Thus individual users may override the site-wide defaults.  See also
    1.11    file \hyperlink{file.$ISABELLE-HOME/etc/user-settings.sample}{\mbox{\isa{\isatt{{\isachardollar}ISABELLE{\isacharunderscore}HOME{\isacharslash}etc{\isacharslash}user{\isacharminus}settings{\isachardot}sample}}}} in the
    1.12 @@ -178,7 +178,7 @@
    1.13    
    1.14    \item[\indexdef{}{setting}{ISABELLE\_HOME\_USER}\hypertarget{setting.ISABELLE-HOME-USER}{\hyperlink{setting.ISABELLE-HOME-USER}{\mbox{\isa{\isatt{ISABELLE{\isacharunderscore}HOME{\isacharunderscore}USER}}}}}] is the user-specific
    1.15    counterpart of \hyperlink{setting.ISABELLE-HOME}{\mbox{\isa{\isatt{ISABELLE{\isacharunderscore}HOME}}}}. The default value is
    1.16 -  \verb|~/isabelle|, under rare circumstances this may be
    1.17 +  \verb|~/.isabelle|, under rare circumstances this may be
    1.18    changed in the global setting file.  Typically, the \hyperlink{setting.ISABELLE-HOME-USER}{\mbox{\isa{\isatt{ISABELLE{\isacharunderscore}HOME{\isacharunderscore}USER}}}} directory mimics \hyperlink{setting.ISABELLE-HOME}{\mbox{\isa{\isatt{ISABELLE{\isacharunderscore}HOME}}}} to
    1.19    some extend. In particular, site-wide defaults may be overridden by
    1.20    a private \verb|$ISABELLE_HOME_USER/etc/settings|.