Mercurial Mercurial > hg > nominal2 / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
IsaMakefile
changeset 1484 dc7b049d9072
parent 1261 853abc14c5c6
child 1491 f970ca9b5bec 
--- a/IsaMakefile	Wed Mar 17 15:13:03 2010 +0100
+++ b/IsaMakefile	Wed Mar 17 15:13:31 2010 +0100
@@ -27,7 +27,7 @@
 
 $(LOG)/HOL-Nominal2-Paper.gz: Paper/ROOT.ML Paper/document/root.tex Paper/*.thy
 	@$(USEDIR) -D generated HOL Paper
-	$(ISATOOL) document -o pdf  Paper/generated
+	$(ISABELLE_TOOL) document -o pdf  Paper/generated
 	@cp Paper/document.pdf paper.pdf
 
 ## clean
nominal2