no document for HOL-Base
authorhaftmann
Sat Jan 17 08:28:51 2009 +0100 (2009-01-17)
changeset 29523f83dcdcee6b3
parent 29514 fc20414d4aa8
child 29524 941ad06c7f9c
no document for HOL-Base
src/HOL/IsaMakefile
     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 \