# HG changeset patch
# User zhang
# Date 1344606861 0
# Node ID 484c7b83f25145ceec28e4936e8e5c686b57a7d8
# Parent  66e0ec8acedcc2ba628b3a063f987f8b72ca34f8
IsaMakefile modified

diff -r 66e0ec8acedc -r 484c7b83f251 Paper/document/root.bib
--- 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},
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
+
diff -r 66e0ec8acedc -r 484c7b83f251 prio/Slides/slides.pdf
Binary file prio/Slides/slides.pdf has changed