diff -r 66e0ec8acedc -r 484c7b83f251 prio/IsaMakefile
--- a/prio/IsaMakefile	Thu Jun 28 11:25:26 2012 +0000
+++ b/prio/IsaMakefile	Fri Aug 10 13:54:21 2012 +0000
@@ -41,3 +41,11 @@
 	cd Paper/generated ; bibtex root
 	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex
 	cp Paper/generated/root.pdf paper.pdf 
+
+
+slides: Slides/ROOT1.ML Slides/*.thy 
+	@$(USEDIR) -D generated -f ROOT1.ML Prio Slides
+	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
+