src/Doc/System/Basics.thy
changeset 54937 ce4bf91331e7
parent 54705 0dff3326d12a
child 56439 95e2656b3b23
     1.1 --- a/src/Doc/System/Basics.thy	Mon Jan 06 17:47:44 2014 +0100
     1.2 +++ b/src/Doc/System/Basics.thy	Mon Jan 06 19:42:52 2014 +0100
     1.3 @@ -101,14 +101,10 @@
     1.4    before --- usually to something like @{verbatim
     1.5    "$USER_HOME/.isabelle/IsabelleXXXX"}.
     1.6    
     1.7 -  Thus individual users may override the site-wide defaults.  See also
     1.8 -  file @{file "$ISABELLE_HOME/etc/user-settings.sample"} in the
     1.9 -  distribution.  Typically, a user settings file would contain only a
    1.10 -  few lines, just the assigments that are really changed.  One should
    1.11 -  definitely \emph{not} start with a full copy the basic @{file
    1.12 -  "$ISABELLE_HOME/etc/settings"}. This could cause very annoying
    1.13 -  maintainance problems later, when the Isabelle installation is
    1.14 -  updated or changed otherwise.
    1.15 +  Thus individual users may override the site-wide defaults.
    1.16 +  Typically, a user settings file contains only a few lines, with some
    1.17 +  assignments that are actually changed.  Never copy the central
    1.18 +  @{file "$ISABELLE_HOME/etc/settings"} file!
    1.19    
    1.20    \end{enumerate}
    1.21