--- a/IsaMakefile	Wed Oct 13 22:55:58 2010 +0100
+++ b/IsaMakefile	Thu Oct 14 04:14:22 2010 +0100
@@ -1,10 +1,10 @@
 
 ## targets
 
-default: test
+default: tests
 images: 
 
-all: tests paper pearl pearl-jv qpaper
+all: tests paper pearl pearl-jv qpaper slides
 
 
 ## global settings
@@ -107,7 +107,7 @@
 	cd Slides/generated4 ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex
 	cp Slides/generated4/root.beamer.pdf Slides/slides4.pdf 
 
-slides: slides4
+slides: slides1 slides2 slides3 slides4