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