changeset 28914 | f993cbffc42a |
parent 16187 | 6ec757011ad6 |
child 29145 | b1c6f4563df7 |
1.1 --- a/etc/user-settings.sample Sun Nov 30 12:25:54 2008 +0100 1.2 +++ b/etc/user-settings.sample Sun Nov 30 12:58:20 2008 +0100 1.3 @@ -1,7 +1,7 @@ 1.4 # -*- shell-script -*- 1.5 # $Id$ 1.6 # 1.7 -# Isabelle user settings sample -- for use in ~/isabelle/etc/settings 1.8 +# Isabelle user settings sample -- for use in ~/.isabelle/etc/settings 1.9 1.10 ISABELLE_USEDIR_OPTIONS="-i true -d pdf" 1.11 HOL_USEDIR_OPTIONS="-p 1"