equal
deleted
inserted
replaced
96 distribution already contains a global settings file with sensible |
96 distribution already contains a global settings file with sensible |
97 defaults for most variables. When installing the system, only a few |
97 defaults for most variables. When installing the system, only a few |
98 of these may have to be adapted (probably @{setting ML_SYSTEM} |
98 of these may have to be adapted (probably @{setting ML_SYSTEM} |
99 etc.). |
99 etc.). |
100 |
100 |
101 \item The file @{"file" "$ISABELLE_HOME_USER/etc/settings"} (if it |
101 \item The file @{verbatim "$ISABELLE_HOME_USER/etc/settings"} (if it |
102 exists) is run in the same way as the site default settings. Note |
102 exists) is run in the same way as the site default settings. Note |
103 that the variable @{setting ISABELLE_HOME_USER} has already been set |
103 that the variable @{setting ISABELLE_HOME_USER} has already been set |
104 before --- usually to @{verbatim "~/isabelle"}. |
104 before --- usually to @{verbatim "~/isabelle"}. |
105 |
105 |
106 Thus individual users may override the site-wide defaults. See also |
106 Thus individual users may override the site-wide defaults. See also |
164 counterpart of @{setting ISABELLE_HOME}. The default value is |
164 counterpart of @{setting ISABELLE_HOME}. The default value is |
165 @{verbatim "~/isabelle"}, under rare circumstances this may be |
165 @{verbatim "~/isabelle"}, under rare circumstances this may be |
166 changed in the global setting file. Typically, the @{setting |
166 changed in the global setting file. Typically, the @{setting |
167 ISABELLE_HOME_USER} directory mimics @{setting ISABELLE_HOME} to |
167 ISABELLE_HOME_USER} directory mimics @{setting ISABELLE_HOME} to |
168 some extend. In particular, site-wide defaults may be overridden by |
168 some extend. In particular, site-wide defaults may be overridden by |
169 a private @{"file" "$ISABELLE_HOME_USER/etc/settings"}. |
169 a private @{verbatim "$ISABELLE_HOME_USER/etc/settings"}. |
170 |
170 |
171 \item[@{setting_def ISABELLE}@{text "\<^sup>*"}, @{setting |
171 \item[@{setting_def ISABELLE}@{text "\<^sup>*"}, @{setting |
172 ISATOOL}@{text "\<^sup>*"}] are automatically set to the full path |
172 ISATOOL}@{text "\<^sup>*"}] are automatically set to the full path |
173 names of the @{executable "isabelle-process"} and @{executable |
173 names of the @{executable "isabelle-process"} and @{executable |
174 isatool} executables, respectively. Thus other tools and scripts |
174 isatool} executables, respectively. Thus other tools and scripts |