diff -r 2ca8e43b53c5 -r dc7b049d9072 IsaMakefile --- 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