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
2.1 --- a/src/HOL/IsaMakefile Thu Jun 02 18:29:46 2005 +0200
2.2 +++ b/src/HOL/IsaMakefile Thu Jun 02 18:29:47 2005 +0200
2.3 @@ -114,7 +114,7 @@
2.4 antisym_setup.ML arith_data.ML blastdata.ML cladata.ML \
2.5 document/root.tex eqrule_HOL_data.ML hologic.ML simpdata.ML \
2.6 thy_syntax.ML
2.7 - @$(ISATOOL) usedir -b -g true $(HOL_PROOF_OBJECTS) $(OUT)/Pure HOL
2.8 + @$(ISATOOL) usedir $(HOL_USEDIR_OPTIONS) -b -g true $(OUT)/Pure HOL
2.9
2.10
2.11 ## HOL-Complex-HahnBanach