# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1327423861 0
# Node ID e4050732ba15109ffea4f90a7d983115623f4911
# Parent  60c4c93b30d5c5f03d82a04b9fe601d0215163c6
tuned make-file

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
 
diff -r 60c4c93b30d5 -r e4050732ba15 Nominal/ROOT.ML
--- a/Nominal/ROOT.ML	Tue Jan 24 14:29:07 2012 +0000
+++ b/Nominal/ROOT.ML	Tue Jan 24 16:51:01 2012 +0000
@@ -27,7 +27,7 @@
     "Ex/Foo1",
     "Ex/Foo2",
     "Ex/CoreHaskell",
-    "Ex/CoreHaskell2", 
+    "Ex/CoreHaskell2",
     "Ex/Pi"
    ];