1.1 --- a/etc/settings	Sat May 24 19:52:53 2003 +0200
     1.2 +++ b/etc/settings	Mon May 26 11:42:41 2003 +0200
     1.3 @@ -68,6 +68,9 @@
     1.4  
     1.5  ISABELLE_USEDIR_OPTIONS=""
     1.6  
     1.7 +# for overriding proof objects in HOL image
     1.8 +HOL_PROOF_OBJECTS=""
     1.9 +
    1.10  
    1.11  ###
    1.12  ### Document preparation

     2.1 --- a/src/HOL/IsaMakefile	Sat May 24 19:52:53 2003 +0200
     2.2 +++ b/src/HOL/IsaMakefile	Mon May 26 11:42:41 2003 +0200
     2.3 @@ -4,9 +4,6 @@
     2.4  # IsaMakefile for HOL
     2.5  #
     2.6  
     2.7 -# for overriding proof objects in HOL image
     2.8 -HOL_PROOF_OBJECTS=-p 2
     2.9 -
    2.10  ## targets
    2.11  
    2.12  default: HOL