--- a/IsaMakefile	Thu Apr 02 12:19:11 2009 +0100
+++ b/IsaMakefile	Fri Apr 03 07:55:07 2009 +0100
@@ -29,6 +29,7 @@
           ProgTutorial/Package/*.ML 
 	$(USEDIR) HOL ProgTutorial
 	$(ISATOOL) version > ProgTutorial/generated/version 
+	poly -v > ProgTutorial/generated/pversion
 	$(ISATOOL) document -o pdf  ProgTutorial/generated
 	@cp ProgTutorial/document.pdf progtutorial.pdf