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 \