misc tuning and clarification;
authorwenzelm
Mon Jan 06 19:42:52 2014 +0100 (2014-01-06 ago)
changeset 54937ce4bf91331e7
parent 54936 30e2503f1aa2
child 54938 8cccfb8f1d36
misc tuning and clarification;
etc/settings
etc/user-settings.sample
src/Doc/System/Basics.thy
     1.1 --- a/etc/settings	Mon Jan 06 17:47:44 2014 +0100
     1.2 +++ b/etc/settings	Mon Jan 06 19:42:52 2014 +0100
     1.3 @@ -1,11 +1,12 @@
     1.4  # -*- shell-script -*- :mode=shellscript:
     1.5  #
     1.6 -# Isabelle settings -- distribution defaults.
     1.7 +# Isabelle system settings.
     1.8  #
     1.9  # Important notes:
    1.10  #   * See the "system" manual for explanations on Isabelle settings
    1.11 +#   * User settings go into $ISABELLE_HOME_USER/etc/settings
    1.12  #   * DO NOT EDIT the repository copy of this file!
    1.13 -#   * DO NOT COPY this file into your $ISABELLE_HOME_USER directory!
    1.14 +#   * DO NOT COPY this file into the $ISABELLE_HOME_USER directory!
    1.15  
    1.16  ###
    1.17  ### Isabelle/Scala
     2.1 --- a/etc/user-settings.sample	Mon Jan 06 17:47:44 2014 +0100
     2.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.3 @@ -1,6 +0,0 @@
     2.4 -# -*- shell-script -*- :mode=shellscript:
     2.5 -#
     2.6 -# Isabelle user settings sample -- for use in $ISABELLE_HOME_USER/etc/settings
     2.7 -
     2.8 -ISABELLE_BUILD_OPTIONS="browser_info document=pdf"
     2.9 -ISABELLE_LOGIC=HOL
     3.1 --- a/src/Doc/System/Basics.thy	Mon Jan 06 17:47:44 2014 +0100
     3.2 +++ b/src/Doc/System/Basics.thy	Mon Jan 06 19:42:52 2014 +0100
     3.3 @@ -101,14 +101,10 @@
     3.4    before --- usually to something like @{verbatim
     3.5    "$USER_HOME/.isabelle/IsabelleXXXX"}.
     3.6    
     3.7 -  Thus individual users may override the site-wide defaults.  See also
     3.8 -  file @{file "$ISABELLE_HOME/etc/user-settings.sample"} in the
     3.9 -  distribution.  Typically, a user settings file would contain only a
    3.10 -  few lines, just the assigments that are really changed.  One should
    3.11 -  definitely \emph{not} start with a full copy the basic @{file
    3.12 -  "$ISABELLE_HOME/etc/settings"}. This could cause very annoying
    3.13 -  maintainance problems later, when the Isabelle installation is
    3.14 -  updated or changed otherwise.
    3.15 +  Thus individual users may override the site-wide defaults.
    3.16 +  Typically, a user settings file contains only a few lines, with some
    3.17 +  assignments that are actually changed.  Never copy the central
    3.18 +  @{file "$ISABELLE_HOME/etc/settings"} file!
    3.19    
    3.20    \end{enumerate}
    3.21