| changeset 3057 | a5a42ff18a40 |
| parent 2821 | b1dcacc4bc26 |
| child 3118 | 24dae6222579 |
--- a/src/LCF/IsaMakefile Fri Apr 25 15:18:58 1997 +0200 +++ b/src/LCF/IsaMakefile Fri Apr 25 15:24:07 1997 +0200 @@ -8,7 +8,7 @@ FILES = ROOT.ML LCF.thy LCF.ML simpdata.ML pair.ML fix.ML $(OUT)/LCF: $(OUT)/FOL $(FILES) - @$(ISATOOL) usedir -b -c $(OUT)/FOL LCF + @$(ISATOOL) usedir -b $(OUT)/FOL LCF @chmod -w $@ $(OUT)/FOL: