1.1 --- a/src/HOL/IsaMakefile Fri May 23 17:19:53 2003 +0200
1.2 +++ b/src/HOL/IsaMakefile Sat May 24 19:52:53 2003 +0200
1.3 @@ -5,7 +5,7 @@
1.4 #
1.5
1.6 # for overriding proof objects in HOL image
1.7 -HOL_PROOF_OBJECTS="-p 2"
1.8 +HOL_PROOF_OBJECTS=-p 2
1.9
1.10 ## targets
1.11