diff -r 53112deda119 -r eb81ab6da2a3 IsaMakefile
--- a/IsaMakefile	Fri May 08 17:11:57 2009 +0200
+++ b/IsaMakefile	Fri May 08 17:21:20 2009 +0200
@@ -29,7 +29,7 @@
           ProgTutorial/Package/*.ML 
 	$(USEDIR) HOL ProgTutorial
 	$(ISATOOL) version > ProgTutorial/generated/version 
-	poly -v > ProgTutorial/generated/pversion
+	$(ML_HOME)/poly -v > ProgTutorial/generated/pversion
 	$(ISATOOL) document -o pdf  ProgTutorial/generated
 	@cp ProgTutorial/document.pdf progtutorial.pdf