diff -r 60c4c93b30d5 -r e4050732ba15 IsaMakefile --- a/IsaMakefile Tue Jan 24 14:29:07 2012 +0000 +++ b/IsaMakefile Tue Jan 24 16:51:01 2012 +0000 @@ -4,7 +4,7 @@ default: session images: -all: tests esop pearl pearl-jv qpaper slides lmcs +all: tests esop pearl pearl-jv qpaper qpaper-jv slides lmcs ## global settings @@ -25,10 +25,10 @@ ## tests -tests: $(LOG)/HOL-Nominal2-test.gz +tests: $(LOG)/HOL-Nominal2-tests.gz $(LOG)/HOL-Nominal2-tests.gz: Nominal/ROOT.ML Nominal/*.thy - @cd Nominal; $(USEDIR) HOL Nominal2 + @$(USEDIR) HOL Nominal ## ESOP Paper