diff -r a8a442ba0dbf -r e93760534354 IsaMakefile
--- a/IsaMakefile	Thu May 12 05:55:05 2011 +0000
+++ b/IsaMakefile	Wed May 18 19:54:43 2011 +0000
@@ -69,6 +69,20 @@
 	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex
 	cp Paper/generated/root.pdf paper.pdf     
 
+## Journal Version
+
+session4: Journal/ROOT.ML \
+	Journal/document/root* \
+	Journal/*.thy
+	@$(USEDIR) -D generated -f ROOT.ML HOL Journal
+
+journal: session4
+	rm -f Journal/generated/*.aux # otherwise latex will fall over       
+	cd Journal/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex 
+	cd Journal/generated ; bibtex root
+	cd Journal/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex
+	cp Journal/generated/root.pdf journal.pdf     
+
 
 ## clean