changeset 6213 | f5bdd6497e08 |
parent 4905 | be73ddff6c5a |
child 17246 | 0f22089c6b9e |
--- a/src/LCF/IsaMakefile Wed Feb 03 17:30:17 1999 +0100 +++ b/src/LCF/IsaMakefile Wed Feb 03 17:32:10 1999 +0100 @@ -28,7 +28,7 @@ $(OUT)/LCF: $(OUT)/FOL LCF.ML LCF.thy ROOT.ML fix.ML fix.thy pair.ML \ pair.thy simpdata.ML - @$(ISATOOL) usedir -b $(OUT)/FOL LCF + @$(ISATOOL) usedir -b -r $(OUT)/FOL LCF ## LCF-ex