| changeset 19801 | b2af2549efd1 |
| parent 19767 | 6e77bd331bf4 |
| child 19802 | c2860c37e574 |
--- a/src/HOL/IsaMakefile Tue Jun 06 20:47:12 2006 +0200 +++ b/src/HOL/IsaMakefile Wed Jun 07 00:57:14 2006 +0200 @@ -599,8 +599,8 @@ HOL-IOA: HOL $(LOG)/HOL-IOA.gz -$(LOG)/HOL-IOA.gz: $(OUT)/HOL IOA/Asig.ML IOA/Asig.thy IOA/IOA.ML \ - IOA/IOA.thy IOA/ROOT.ML IOA/Solve.ML IOA/Solve.thy +$(LOG)/HOL-IOA.gz: $(OUT)/HOL IOA/Asig.thy IOA/IOA.thy \ + IOA/ROOT.ML IOA/Solve.thy @$(ISATOOL) usedir $(OUT)/HOL IOA