diff -r fc5ce7f22b74 -r b1281a0051ae IsaMakefile
--- a/IsaMakefile	Wed Apr 28 08:32:33 2010 +0200
+++ b/IsaMakefile	Thu Apr 29 09:13:18 2010 +0200
@@ -4,7 +4,7 @@
 default: Nominal2
 images: 
 
-all: Nominal2 paper pearl pearl-jv
+all: Nominal2 paper pearl pearl-jv qpaper
 
 
 ## global settings
@@ -51,6 +51,16 @@
 	@cp Pearl-jv/document.pdf pearl-jv.pdf
 
 
+## Quotient Paper 
+
+qpaper: $(LOG)/HOL-QPaper.gz
+
+$(LOG)/HOL-QPaper.gz: Quotient-Paper/ROOT.ML Quotient-Paper/document/root.* Quotient-Paper/*.thy
+	@$(USEDIR) -D generated HOL Quotient-Paper
+	$(ISABELLE_TOOL) document -o pdf Quotient-Paper/generated
+	@cp Quotient-Paper/document.pdf qpaper.pdf
+
+
 ## clean
 
 clean: