| changeset 19755 | 90f80de04c46 |
| parent 17246 | 0f22089c6b9e |
| child 19757 | 4a2a71c31968 |
--- a/src/LCF/IsaMakefile Thu Jun 01 14:54:44 2006 +0200 +++ b/src/LCF/IsaMakefile Thu Jun 01 21:14:05 2006 +0200 @@ -34,8 +34,7 @@ LCF-ex: LCF $(LOG)/LCF-ex.gz -$(LOG)/LCF-ex.gz: $(OUT)/LCF ex/Ex1.ML ex/Ex1.thy ex/Ex2.ML ex/Ex2.thy \ - ex/Ex3.ML ex/Ex3.thy ex/Ex4.ML ex/Ex4.thy ex/ROOT.ML +$(LOG)/LCF-ex.gz: $(OUT)/LCF ex/Ex1.thy ex/Ex2.thy ex/Ex3.thy ex/Ex4.thy ex/ROOT.ML @$(ISATOOL) usedir $(OUT)/LCF ex