Mercurial Mercurial > hg > isabelle-cookbook / 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.
IsaMakefile
changeset 364 c6a2e295227e
parent 306 fe732e890d87
child 373 28a49fe024c9 
--- a/IsaMakefile	Thu Oct 29 19:09:27 2009 +0100
+++ b/IsaMakefile	Fri Oct 30 09:42:16 2009 +0100
@@ -11,7 +11,7 @@
 OUT = $(ISABELLE_OUTPUT)
 LOG = $(OUT)/log
 
-USEDIR = $(ISATOOL) usedir -v true -D generated
+USEDIR = $(ISABELLE_TOOL) usedir -v true -D generated
 
 tutorial: ProgTutorial/ROOT.ML \
           ProgTutorial/document/root.tex \
@@ -24,9 +24,9 @@
 	@rm -rf ProgTutorial/generated/* 
 	$(USEDIR) HOL ProgTutorial
 	hg parent --template '{date|shortdate}' > ProgTutorial/generated/tip
-	$(ISATOOL) version > ProgTutorial/generated/version 
+	$(ISABELLE_TOOL) version > ProgTutorial/generated/version 
 	$(ML_HOME)/poly -v > ProgTutorial/generated/pversion
-	$(ISATOOL) document -o pdf  ProgTutorial/generated
+	$(ISABELLE_TOOL) document -o pdf  ProgTutorial/generated
 	@cp ProgTutorial/document.pdf progtutorial.pdf
 
 ## clean
isabelle-cookbook