changeset 45991 | 3498077f2012 |
parent 34238 | b28be884edda |
child 49744 | 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