--- a/Paper/document/root.bib	Thu Jun 28 11:25:26 2012 +0000
+++ b/Paper/document/root.bib	Fri Aug 10 13:54:21 2012 +0000
@@ -8,8 +8,6 @@
   pages = {173--190}
 }
 
-
-
 @Unpublished{KraussNipkow11,
   author = 	 {A.~Kraus and T.~Nipkow},
   title = 	 {{P}roof {P}earl: {R}egular {E}xpression {E}quivalence and {R}elation {A}lgebra},

--- 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
+

Binary file prio/Slides/slides.pdf has changed