diff -r 76ab7c09d575 -r 0d4d5bb321dc IsaMakefile
--- a/IsaMakefile	Wed Feb 02 13:25:09 2011 +0000
+++ b/IsaMakefile	Wed Feb 02 13:54:07 2011 +0000
@@ -51,6 +51,8 @@
 itp: session3
 	rm -f Paper/generated/*.aux # otherwise latex will fall over      
 	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex 
+	cd Paper/generated ; bibtex root 
+	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex
 	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex
 	cp Paper/generated/root.pdf paper.pdf