# HG changeset patch
# User wenzelm
# Date 1117729787 -7200
# Node ID 6ec757011ad6b99bf23a58e221fe66bd57007028
# Parent  6eb74e2cec7efe1a8e0056c59d9fb024d5261049
renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS;

diff -r 6eb74e2cec7e -r 6ec757011ad6 etc/user-settings.sample
--- 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
diff -r 6eb74e2cec7e -r 6ec757011ad6 src/HOL/IsaMakefile
--- 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