Mercurial Mercurial > hg > isabelle-cookbook / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
a saner method for calling PolyML
authorChristian Urban <urbanc@in.tum.de>
Fri, 08 May 2009 17:21:20 +0200
changeset 246 eb81ab6da2a3
parent 245 53112deda119
child 247 afa2d9c6b3b7
a saner method for calling PolyML
IsaMakefile file | annotate | diff | comparison | revisions
progtutorial.pdf file | annotate | diff | comparison | revisions 
--- 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
 
Binary file progtutorial.pdf has changed
isabelle-cookbook