| changeset 12610 | 8b9845807f77 |
| parent 12606 | cf1715a5f5ec |
| child 12667 | 7e6eaaa125f2 |
--- a/src/ZF/IsaMakefile Sat Dec 29 18:35:27 2001 +0100 +++ b/src/ZF/IsaMakefile Sat Dec 29 18:36:12 2001 +0100 @@ -84,8 +84,8 @@ ZF-IMP: ZF $(LOG)/ZF-IMP.gz -$(LOG)/ZF-IMP.gz: $(OUT)/ZF IMP/Com.thy \ - IMP/Denotation.thy IMP/Equiv.thy IMP/ROOT.ML +$(LOG)/ZF-IMP.gz: $(OUT)/ZF IMP/Com.thy IMP/Denotation.thy IMP/Equiv.thy \ + IMP/ROOT.ML IMP/document/root.bib IMP/document/root.tex @$(ISATOOL) usedir $(OUT)/ZF IMP