Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
FOL: -p 2;
authorwenzelm
Sat, 19 Nov 2005 14:21:00 +0100
changeset 18203 9bd26bda96ef
parent 18202 46af82efd311
child 18204 c3caf13f621d
FOL: -p 2;
src/FOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/FOL/IsaMakefile	Fri Nov 18 07:13:58 2005 +0100
+++ b/src/FOL/IsaMakefile	Sat Nov 19 14:21:00 2005 +0100
@@ -37,7 +37,7 @@
   IFOL.thy IFOL_lemmas.ML ROOT.ML blastdata.ML cladata.ML		\
   document/root.tex eqrule_FOL_data.ML fologic.ML hypsubstdata.ML	\
   intprover.ML simpdata.ML
-	@$(ISATOOL) usedir -b $(OUT)/Pure FOL
+	@$(ISATOOL) usedir -p 2 -b $(OUT)/Pure FOL
 
 
 ## FOL-ex
isabelle