diff -r dcde836219bc -r 301f567e2a8e IsaMakefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/IsaMakefile	Fri Apr 12 10:46:43 2013 +0100
@@ -0,0 +1,41 @@
+
+## targets
+
+default: paper
+images: 
+
+all: defs heap paper
+
+
+## global settings
+
+SRC = $(ISABELLE_HOME)/src
+OUT = $(ISABELLE_OUTPUT)
+LOG = $(OUT)/log
+
+USEDIR = $(ISABELLE_TOOL) usedir -t true 
+
+defs: 
+	@$(USEDIR) -f ROOT1.ML -b HOL rc7_defs
+
+heap: 
+	@$(USEDIR) -f ROOT3.ML -b rc7_defs rc7
+
+
+session_paper:  ROOT.ML \
+	document/root* \
+	*.thy
+	@$(USEDIR) -D generated -f ROOT2.ML rc7 .
+
+paper: session_paper
+	rm -f generated/*.aux # otherwise latex will fall over       
+	cd generated ; $(ISABELLE_TOOL) latex -o pdf root.tex 
+	cd generated ; bibtex root
+	cd generated ; $(ISABELLE_TOOL) latex -o pdf root.tex
+	cp generated/root.pdf paper.pdf  
+
+## clean
+
+clean:
+	@rm -f $(OUT)/rc7
+	@rm -f $(OUT)/rc7_defs