src/HOL/IsaMakefile
changeset 29523 f83dcdcee6b3
parent 29505 c6d2d23909d1
child 29628 d9294387ab0e
     1.1 --- a/src/HOL/IsaMakefile	Fri Jan 16 15:19:10 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Sat Jan 17 08:28:51 2009 +0100
     1.3 @@ -112,7 +112,7 @@
     1.4    $(SRC)/Provers/splitter.ML \
     1.5  
     1.6  $(OUT)/HOL-Base: base.ML $(BASE_DEPENDENCIES)
     1.7 -	@$(ISABELLE_TOOL) usedir -b -f base.ML -g true $(OUT)/Pure HOL-Base
     1.8 +	@$(ISABELLE_TOOL) usedir -b -f base.ML -d false -g false $(OUT)/Pure HOL-Base
     1.9  
    1.10  PLAIN_DEPENDENCIES = $(BASE_DEPENDENCIES)\
    1.11    Datatype.thy \