# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1241796080 -7200
# Node ID eb81ab6da2a33c817ef77aa1ddaa962c6b853385
# Parent  53112deda119d78767318b53d5c3ff70529b6c76
a saner method for calling PolyML

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
 
diff -r 53112deda119 -r eb81ab6da2a3 progtutorial.pdf
Binary file progtutorial.pdf has changed