diff -r f7f1d8a98098 -r c6a2e295227e IsaMakefile
--- 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