tuned comments;
authorwenzelm
Mon Jan 06 17:33:23 2014 +0100 (2014-01-06 ago)
changeset 54935a7704d87f30a
parent 54933 45624a38109f
child 54936 30e2503f1aa2
tuned comments;
etc/settings
     1.1 --- a/etc/settings	Mon Jan 06 09:31:21 2014 +0100
     1.2 +++ b/etc/settings	Mon Jan 06 17:33:23 2014 +0100
     1.3 @@ -5,7 +5,7 @@
     1.4  # Important notes:
     1.5  #   * See the "system" manual for explanations on Isabelle settings
     1.6  #   * DO NOT EDIT the repository copy of this file!
     1.7 -#   * DO NOT COPY this file into your ~/.isabelle directory!
     1.8 +#   * DO NOT COPY this file into your $ISABELLE_HOME_USER directory!
     1.9  
    1.10  ###
    1.11  ### Isabelle/Scala