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/FOL/IsaMakefile
changeset 28500 4b79e5d3d0aa
parent 27203 9f02853e3f5b
child 28873 2058a6b0eb20 
--- a/src/FOL/IsaMakefile	Sat Oct 04 16:05:08 2008 +0200
+++ b/src/FOL/IsaMakefile	Sat Oct 04 16:05:09 2008 +0200
@@ -24,7 +24,7 @@
 FOL: Pure $(OUT)/FOL
 
 Pure:
-	@cd $(SRC)/Pure; $(ISATOOL) make Pure
+	@cd $(SRC)/Pure; $(ISABELLE_TOOL) make Pure
 
 $(OUT)/Pure: Pure
 
@@ -38,7 +38,7 @@
   $(SRC)/Provers/quantifier1.ML $(SRC)/Provers/splitter.ML FOL.thy	\
   IFOL.thy ROOT.ML blastdata.ML cladata.ML document/root.tex		\
   fologic.ML hypsubstdata.ML intprover.ML simpdata.ML
-	@$(ISATOOL) usedir -p 2 -b $(OUT)/Pure FOL
+	@$(ISABELLE_TOOL) usedir -p 2 -b $(OUT)/Pure FOL
 
 
 ## FOL-ex
@@ -51,7 +51,7 @@
   ex/document/root.tex ex/Foundation.thy ex/Intuitionistic.thy		\
   ex/Intro.thy ex/Propositional_Int.thy ex/Propositional_Cla.thy	\
   ex/Quantifiers_Int.thy ex/Quantifiers_Cla.thy
-	@$(ISATOOL) usedir $(OUT)/FOL ex
+	@$(ISABELLE_TOOL) usedir $(OUT)/FOL ex
 
 
 ## clean
isabelle