diff -r 0f2d4b78f839 -r 7f2493296c39 IsaMakefile
--- a/IsaMakefile	Mon Dec 10 21:27:22 2012 +0000
+++ b/IsaMakefile	Mon Dec 17 12:34:24 2012 +0000
@@ -55,5 +55,15 @@
 	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex
 	cp Paper/generated/root.pdf paper.pdf 
 
+# C&L paper
+
+jour: Journal/*.thy Journal/*.ML 
+	@$(USEDIR) -D generated -f ROOT.ML Prio Journal
+	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 
 
 
+