diff -r 660a4f5adee8 -r a6b0220fb8ae IsaMakefile
--- a/IsaMakefile	Tue Dec 20 16:49:03 2011 +0900
+++ b/IsaMakefile	Tue Dec 20 17:54:53 2011 +0900
@@ -69,6 +69,15 @@
 	$(ISABELLE_TOOL) document -o pdf Quotient-Paper/generated
 	@cp Quotient-Paper/document.pdf qpaper.pdf
 
+## Quotient Journal Paper
+
+qpaper-jv: $(LOG)/HOL-QPaper-jv.gz
+
+$(LOG)/HOL-QPaper-jv.gz: Quotient-Paper-jv/ROOT.ML Quotient-Paper-jv/document/root.* Quotient-Paper-jv/*.thy
+	@$(USEDIR) -D generated HOL Quotient-Paper-jv
+	$(ISABELLE_TOOL) document -o pdf Quotient-Paper-jv/generated
+	@cp Quotient-Paper-jv/document.pdf qpaper-jv.pdf
+
 ## Nominal Functions paper
 
 fnpaper: $(LOG)/HOL-FnPaper.gz