changeset 16187 | 6ec757011ad6 |
parent 14448 | ba25d002a59c |
child 28914 | f993cbffc42a |
1.1 --- a/etc/user-settings.sample Thu Jun 02 18:29:46 2005 +0200 1.2 +++ b/etc/user-settings.sample Thu Jun 02 18:29:47 2005 +0200 1.3 @@ -1,8 +1,8 @@ 1.4 # -*- shell-script -*- 1.5 # $Id$ 1.6 # 1.7 -# Isabelle user settings sample -- may be copied to ~/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_PROOF_OBJECTS="-p 1" 1.12 +HOL_USEDIR_OPTIONS="-p 1" 1.13 ISABELLE_LOGIC=HOL