etc/user-settings.sample
changeset 3179 c8263805dede
parent 3178 97d2d09e61fe
child 3184 4e0bbfb113d5
equal deleted inserted replaced
3178:97d2d09e61fe 3179:c8263805dede
     1 #
     1 #
     2 # $Id$
     2 # $Id$
     3 #
     3 #
     4 # Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings.
     4 # Isabelle user settings sample (everything commented out)
       
     5 #   -- some parts may be copied into ~/isabelle/etc/settings.
     5 #
     6 #
     6 
     7 
     7 ###
     8 ###
     8 ### Compilation options
     9 ### Compilation options
     9 ###
    10 ###