etc/settings
changeset 54937 ce4bf91331e7
parent 54935 a7704d87f30a
child 56424 7032378cc097
     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