diff -r 24199eb2c423 -r 993068ce745f prio/IsaMakefile
--- a/prio/IsaMakefile	Fri Jan 27 13:50:02 2012 +0000
+++ b/prio/IsaMakefile	Fri Jan 27 23:19:10 2012 +0000
@@ -1,7 +1,7 @@
 
 ## targets
 
-default: paper
+default: itp
 all: session paper
 
 ## global settings
@@ -18,9 +18,8 @@
 
 session: ./ROOT.ML ./*.thy
 	@$(USEDIR) -b -D generated -f ROOT.ML HOL Prio
-	
-paper: Paper/ROOT.ML \
-       Paper/*.thy 
+
+itp: Paper/*.thy Paper/*.ML 
 	@$(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