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