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/Sequents/IsaMakefile
changeset 28500 4b79e5d3d0aa
parent 21427 7c8f4a331f9b
child 36862 952b2b102a0a 
--- a/src/Sequents/IsaMakefile	Sat Oct 04 16:05:08 2008 +0200
+++ b/src/Sequents/IsaMakefile	Sat Oct 04 16:05:09 2008 +0200
@@ -24,12 +24,12 @@
 Sequents: Pure $(OUT)/Sequents
 
 Pure:
-	@cd $(SRC)/Pure; $(ISATOOL) make Pure
+	@cd $(SRC)/Pure; $(ISABELLE_TOOL) make Pure
 
 $(OUT)/Sequents: $(OUT)/Pure ILL.thy LK0.thy LK.thy \
   modal.ML ROOT.ML simpdata.ML S4.thy S43.thy Sequents.thy T.thy prover.ML \
   ILL_predlog.thy Washing.thy
-	@$(ISATOOL) usedir -b $(OUT)/Pure Sequents
+	@$(ISABELLE_TOOL) usedir -b $(OUT)/Pure Sequents
 
 
 ## Sequents-LK
@@ -38,7 +38,7 @@
 
 $(LOG)/Sequents-LK.gz: $(OUT)/Sequents LK/ROOT.ML LK/Hard_Quantifiers.thy \
   LK/Propositional.thy LK/Quantifiers.thy LK/Nat.thy
-	@$(ISATOOL) usedir $(OUT)/Sequents LK
+	@$(ISABELLE_TOOL) usedir $(OUT)/Sequents LK
 
 
 ## clean
isabelle