etc/user-settings.sample
changeset 45106 3498077f2012
parent 34238 b28be884edda
child 48729 093eb27374bb
     1.1 --- a/etc/user-settings.sample	Tue Oct 04 14:51:51 2011 +0200
     1.2 +++ b/etc/user-settings.sample	Sun Oct 09 15:46:06 2011 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  # -*- shell-script -*- :mode=shellscript:
     1.5  #
     1.6 -# Isabelle user settings sample -- for use in ~/.isabelle/etc/settings
     1.7 +# Isabelle user settings sample -- for use in $ISABELLE_HOME_USER/etc/settings
     1.8  
     1.9  ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
    1.10  ISABELLE_LOGIC=HOL