diff -r 2f47291b6ff9 -r 9ffee4eb1ae1 IsaMakefile
--- a/IsaMakefile	Sun Aug 29 12:17:25 2010 +0800
+++ b/IsaMakefile	Sun Aug 29 13:36:03 2010 +0800
@@ -4,7 +4,7 @@
 default: test
 images: 
 
-all: test paper pearl pearl-jv qpaper
+all: tests paper pearl pearl-jv qpaper
 
 
 ## global settings
@@ -18,7 +18,7 @@
 
 ## Nominal2
 
-test: $(LOG)/HOL-Nominal2.gz
+tests: $(LOG)/HOL-Nominal2.gz
 
 $(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy
 	@cd Nominal; $(USEDIR) -b -d "" HOL Nominal