1.1 --- a/doc-src/System/Thy/Basics.thy	Wed Sep 17 23:44:31 2008 +0200
     1.2 +++ b/doc-src/System/Thy/Basics.thy	Thu Sep 18 10:57:23 2008 +0200
     1.3 @@ -98,7 +98,7 @@
     1.4    of these may have to be adapted (probably @{setting ML_SYSTEM}
     1.5    etc.).
     1.6    
     1.7 -  \item The file @{"file" "$ISABELLE_HOME_USER/etc/settings"} (if it
     1.8 +  \item The file @{verbatim "$ISABELLE_HOME_USER/etc/settings"} (if it
     1.9    exists) is run in the same way as the site default settings. Note
    1.10    that the variable @{setting ISABELLE_HOME_USER} has already been set
    1.11    before --- usually to @{verbatim "~/isabelle"}.
    1.12 @@ -166,7 +166,7 @@
    1.13    changed in the global setting file.  Typically, the @{setting
    1.14    ISABELLE_HOME_USER} directory mimics @{setting ISABELLE_HOME} to
    1.15    some extend. In particular, site-wide defaults may be overridden by
    1.16 -  a private @{"file" "$ISABELLE_HOME_USER/etc/settings"}.
    1.17 +  a private @{verbatim "$ISABELLE_HOME_USER/etc/settings"}.
    1.18    
    1.19    \item[@{setting_def ISABELLE}@{text "\<^sup>*"}, @{setting
    1.20    ISATOOL}@{text "\<^sup>*"}] are automatically set to the full path