--- 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