diff -r 1b9163229f3f -r 66e0ec8acedc prio/IsaMakefile
--- a/prio/IsaMakefile	Thu Jun 21 15:04:48 2012 +0000
+++ b/prio/IsaMakefile	Thu Jun 28 11:25:26 2012 +0000
@@ -2,7 +2,7 @@
 ## targets
 
 default: itp
-all: session itp
+all: session itp slides1
 
 ## global settings
 
@@ -16,9 +16,24 @@
 
 ## Slides
 
+session1: Slides/ROOT1.ML \
+	Slides/document/root* \
+	Slides/Slides1.thy
+	@$(USEDIR) -D generated -f ROOT1.ML HOL Slides
+
+slides1: session1
+	rm -f Slides/generated/*.aux # otherwise latex will fall over
+	cd Slides/generated ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex
+	cp Slides/generated/root.beamer.pdf Slides/slides.pdf
+
+# main files                        
+
 session: ./ROOT.ML ./*.thy
 	@$(USEDIR) -b -D generated -f ROOT.ML HOL Prio
 
+
+# itp paper
+
 itp: Paper/*.thy Paper/*.ML 
 	@$(USEDIR) -D generated -f ROOT.ML Prio Paper
 	rm -f Paper/generated/*.aux # otherwise latex will fall over