Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/LCF/IsaMakefile
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
isabelle