src/Doc/System/Basics.thy
changeset 54705 0dff3326d12a
parent 54683 cf48ddc266e5
child 54937 ce4bf91331e7
     1.1 --- a/src/Doc/System/Basics.thy	Mon Dec 09 12:27:18 2013 +0100
     1.2 +++ b/src/Doc/System/Basics.thy	Mon Dec 09 20:16:12 2013 +0100
     1.3 @@ -95,7 +95,7 @@
     1.4    of these may have to be adapted (probably @{setting ML_SYSTEM}
     1.5    etc.).
     1.6    
     1.7 -  \item The file @{verbatim "$ISABELLE_HOME_USER/etc/settings"} (if it
     1.8 +  \item The file @{file_unchecked "$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 something like @{verbatim
    1.12 @@ -166,7 +166,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 -  relative to @{verbatim "$USER_HOME/.isabelle"}, under rare
    1.17 +  relative to @{file_unchecked "$USER_HOME/.isabelle"}, under rare
    1.18    circumstances this may be changed in the global setting file.
    1.19    Typically, the @{setting ISABELLE_HOME_USER} directory mimics
    1.20    @{setting ISABELLE_HOME} to some extend. In particular, site-wide
    1.21 @@ -247,7 +247,7 @@
    1.22    \item[@{setting_def ISABELLE_BROWSER_INFO}] is the directory where
    1.23    theory browser information (HTML text, graph data, and printable
    1.24    documents) is stored (see also \secref{sec:info}).  The default
    1.25 -  value is @{verbatim "$ISABELLE_HOME_USER/browser_info"}.
    1.26 +  value is @{file_unchecked "$ISABELLE_HOME_USER/browser_info"}.
    1.27    
    1.28    \item[@{setting_def ISABELLE_LOGIC}] specifies the default logic to
    1.29    load if none is given explicitely by the user.  The default value is
    1.30 @@ -277,7 +277,7 @@
    1.31    \item[@{setting_def ISABELLE_TMP_PREFIX}@{text "\<^sup>*"}] is the
    1.32    prefix from which any running @{executable "isabelle-process"}
    1.33    derives an individual directory for temporary files.  The default is
    1.34 -  somewhere in @{verbatim "/tmp"}.
    1.35 +  somewhere in @{file_unchecked "/tmp"}.
    1.36    
    1.37    \end{description}
    1.38  *}
    1.39 @@ -325,7 +325,7 @@
    1.40    itself.  After initializing all of its sub-components recursively,
    1.41    @{setting ISABELLE_HOME_USER} is included in the same manner (if
    1.42    that directory exists).  This allows to install private components
    1.43 -  via @{verbatim "$ISABELLE_HOME_USER/etc/components"}, although it is
    1.44 +  via @{file_unchecked "$ISABELLE_HOME_USER/etc/components"}, although it is
    1.45    often more convenient to do that programmatically via the
    1.46    \verb,init_component, shell function in the \verb,etc/settings,
    1.47    script of \verb,$ISABELLE_HOME_USER, (or any other component