diff -r 12e9aa68d5db -r 4190df6f4488 prio/IsaMakefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/prio/IsaMakefile	Tue Jan 24 00:20:09 2012 +0000
@@ -0,0 +1,29 @@
+
+## targets
+
+default: paper
+all: session paper
+
+## global settings
+
+SRC = $(ISABELLE_HOME)/src
+OUT = $(ISABELLE_OUTPUT)
+LOG = $(OUT)/log
+
+
+USEDIR = $(ISABELLE_TOOL) usedir -v true -t true 
+
+
+## Slides
+
+session: ./ROOT.ML ./*.thy
+	@$(USEDIR) -b -D generated -f ROOT.ML HOL Prio
+	
+paper: Paper/ROOT.ML \
+       Paper/*.thy 
+	@$(USEDIR) -D generated -f ROOT.ML Prio Paper
+	rm -f Paper/generated/*.aux # otherwise latex will fall over  
+	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex 
+	cd Paper/generated ; bibtex root
+	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex
+	cp Paper/generated/root.pdf paper.pdf