etc/settings
changeset 54937 ce4bf91331e7
parent 54935 a7704d87f30a
child 56424 7032378cc097
equal deleted inserted replaced
54936:30e2503f1aa2 54937:ce4bf91331e7
     1 # -*- shell-script -*- :mode=shellscript:
     1 # -*- shell-script -*- :mode=shellscript:
     2 #
     2 #
     3 # Isabelle settings -- distribution defaults.
     3 # Isabelle system settings.
     4 #
     4 #
     5 # Important notes:
     5 # Important notes:
     6 #   * See the "system" manual for explanations on Isabelle settings
     6 #   * See the "system" manual for explanations on Isabelle settings
       
     7 #   * User settings go into $ISABELLE_HOME_USER/etc/settings
     7 #   * DO NOT EDIT the repository copy of this file!
     8 #   * DO NOT EDIT the repository copy of this file!
     8 #   * DO NOT COPY this file into your $ISABELLE_HOME_USER directory!
     9 #   * DO NOT COPY this file into the $ISABELLE_HOME_USER directory!
     9 
    10 
    10 ###
    11 ###
    11 ### Isabelle/Scala
    12 ### Isabelle/Scala
    12 ###
    13 ###
    13 
    14