tuned;
authorwenzelm
Sat Nov 11 15:52:07 2017 +0100 (17 months ago)
changeset 670443d81a1a67302
parent 67043 848672fcaee5
child 67045 6c94f749410a
tuned;
src/Doc/System/Environment.thy
     1.1 --- a/src/Doc/System/Environment.thy	Sat Nov 11 15:45:12 2017 +0100
     1.2 +++ b/src/Doc/System/Environment.thy	Sat Nov 11 15:52:07 2017 +0100
     1.3 @@ -58,7 +58,7 @@
     1.4      \<^enum> The file @{path "$ISABELLE_HOME_USER/etc/settings"} (if it
     1.5      exists) is run in the same way as the site default settings. Note that the
     1.6      variable @{setting ISABELLE_HOME_USER} has already been set before ---
     1.7 -    usually to something like \<^verbatim>\<open>$USER_HOME/.isabelle/IsabelleXXXX\<close>.
     1.8 +    usually to something like \<^verbatim>\<open>$USER_HOME/.isabelle/Isabelle2017\<close>.
     1.9  
    1.10      Thus individual users may override the site-wide defaults. Typically, a
    1.11      user settings file contains only a few lines, with some assignments that