Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 28376 f66ca5b982b4
parent 28327 4d7a0a941b79
child 28393 30ba169e8c45 
--- a/src/HOL/IsaMakefile	Fri Sep 26 19:07:56 2008 +0200
+++ b/src/HOL/IsaMakefile	Sat Sep 27 14:26:06 2008 +0200
@@ -180,7 +180,7 @@
   $(SRC)/Tools/rat.ML
 
 $(OUT)/HOL-Plain: plain.ML $(PLAIN_DEPENDENCIES)
-	@$(ISATOOL) usedir $(HOL_USEDIR_OPTIONS) -b -f plain.ML -g true $(OUT)/Pure HOL-Plain
+	@$(ISATOOL) usedir -b -f plain.ML -g true $(OUT)/Pure HOL-Plain
 
 $(OUT)/HOL: ROOT.ML $(PLAIN_DEPENDENCIES) \
   Arith_Tools.thy \
isabelle