# HG changeset patch
# User kleing
# Date 1053942161 -7200
# Node ID bbd2f7b007364abf1a913025b242f20c8f400e54
# Parent  b776fd812bdd1a73bc574e55ce2733aa07577180
set HOL_PROOF_OBJECTS in settings, not makefile (makes override in user settings possible)
switched off by default

diff -r b776fd812bdd -r bbd2f7b00736 etc/settings
--- a/etc/settings	Sat May 24 19:52:53 2003 +0200
+++ b/etc/settings	Mon May 26 11:42:41 2003 +0200
@@ -68,6 +68,9 @@
 
 ISABELLE_USEDIR_OPTIONS=""
 
+# for overriding proof objects in HOL image
+HOL_PROOF_OBJECTS=""
+
 
 ###
 ### Document preparation
diff -r b776fd812bdd -r bbd2f7b00736 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Sat May 24 19:52:53 2003 +0200
+++ b/src/HOL/IsaMakefile	Mon May 26 11:42:41 2003 +0200
@@ -4,9 +4,6 @@
 # IsaMakefile for HOL
 #
 
-# for overriding proof objects in HOL image
-HOL_PROOF_OBJECTS=-p 2
-
 ## targets
 
 default: HOL