changeset 16187 | 6ec757011ad6 |
parent 14448 | ba25d002a59c |
child 28914 | f993cbffc42a |
--- a/etc/user-settings.sample Thu Jun 02 18:29:46 2005 +0200 +++ b/etc/user-settings.sample Thu Jun 02 18:29:47 2005 +0200 @@ -1,8 +1,8 @@ # -*- shell-script -*- # $Id$ # -# Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings +# Isabelle user settings sample -- for use in ~/isabelle/etc/settings ISABELLE_USEDIR_OPTIONS="-i true -d pdf" -HOL_PROOF_OBJECTS="-p 1" +HOL_USEDIR_OPTIONS="-p 1" ISABELLE_LOGIC=HOL