--- a/src/ZF/IsaMakefile Thu Mar 20 11:38:58 1997 +0100
+++ b/src/ZF/IsaMakefile Thu Mar 20 11:39:40 1997 +0100
@@ -21,7 +21,7 @@
$(NAMES:%=%.thy) $(NAMES:%=%.ML)
$(OUT)/ZF: $(OUT)/FOL $(FILES)
- @$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu -c $(OUT)/FOL ZF
+ @$(ISATOOL) usedir -b -c $(OUT)/FOL ZF
@chmod -w $@
$(OUT)/FOL:
@@ -37,7 +37,7 @@
IMP_FILES = IMP/ROOT.ML $(IMP_NAMES:%=IMP/%.thy) $(IMP_NAMES:%=IMP/%.ML)
IMP: $(OUT)/ZF $(IMP_FILES)
- @$(ISATOOL) testdir $(OUT)/ZF IMP
+ @$(ISATOOL) usedir $(OUT)/ZF IMP
## Coinduction example
@@ -48,7 +48,7 @@
$(COIND_NAMES:%=Coind/%.thy) $(COIND_NAMES:%=Coind/%.ML)
Coind: $(OUT)/ZF $(COIND_FILES)
- @$(ISATOOL) testdir $(OUT)/ZF Coind
+ @$(ISATOOL) usedir $(OUT)/ZF Coind
## AC examples
@@ -64,7 +64,7 @@
$(AC_NAMES:%=AC/%.thy) $(AC_NAMES:%=AC/%.ML)
AC: $(OUT)/ZF $(AC_FILES)
- @$(ISATOOL) testdir $(OUT)/ZF AC
+ @$(ISATOOL) usedir $(OUT)/ZF AC
## Residuals example
@@ -75,7 +75,7 @@
RESID_FILES = Resid/ROOT.ML $(RESID_NAMES:%=Resid/%.thy) $(RESID_NAMES:%=Resid/%.ML)
Resid: $(OUT)/ZF $(RESID_FILES)
- @$(ISATOOL) testdir $(OUT)/ZF Resid
+ @$(ISATOOL) usedir $(OUT)/ZF Resid
## Miscellaneous examples
@@ -86,7 +86,7 @@
EX_FILES = ex/ROOT.ML ex/misc.ML $(EX_NAMES:%=ex/%.thy) $(EX_NAMES:%=ex/%.ML)
ex: $(OUT)/ZF $(EX_FILES)
- @$(ISATOOL) testdir $(OUT)/ZF ex
+ @$(ISATOOL) usedir $(OUT)/ZF ex
## Full test