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/ZF/IsaMakefile
changeset 28297 107ba67497a1
parent 27203 9f02853e3f5b
child 28500 4b79e5d3d0aa 
--- a/src/ZF/IsaMakefile	Fri Sep 19 09:41:17 2008 +0200
+++ b/src/ZF/IsaMakefile	Fri Sep 19 17:54:04 2008 +0200
@@ -40,7 +40,7 @@
   Tools/primrec_package.ML Tools/typechk.ML Trancl.thy Univ.thy WF.thy	\
   ZF.thy Zorn.thy arith_data.ML equalities.thy func.thy ind_syntax.ML	\
   int_arith.ML pair.thy simpdata.ML upair.thy
-	@$(ISATOOL) usedir -b -r $(OUT)/FOL ZF
+	@$(ISATOOL) usedir -b -g true -r $(OUT)/FOL ZF
 
 
 ## ZF-AC
isabelle