Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
no document for HOL-Base
authorhaftmann
Sat, 17 Jan 2009 08:28:51 +0100
changeset 29523 f83dcdcee6b3
parent 29514 fc20414d4aa8
child 29524 941ad06c7f9c
no document for HOL-Base
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Fri Jan 16 15:19:10 2009 +0100
+++ b/src/HOL/IsaMakefile	Sat Jan 17 08:28:51 2009 +0100
@@ -112,7 +112,7 @@
   $(SRC)/Provers/splitter.ML \
 
 $(OUT)/HOL-Base: base.ML $(BASE_DEPENDENCIES)
-	@$(ISABELLE_TOOL) usedir -b -f base.ML -g true $(OUT)/Pure HOL-Base
+	@$(ISABELLE_TOOL) usedir -b -f base.ML -d false -g false $(OUT)/Pure HOL-Base
 
 PLAIN_DEPENDENCIES = $(BASE_DEPENDENCIES)\
   Datatype.thy \
isabelle