diff -r 22e6571d0bb2 -r 7a99da5975e6 IsaMakefile
--- a/IsaMakefile	Thu Apr 08 00:47:13 2010 -0700
+++ b/IsaMakefile	Thu Apr 08 00:49:08 2010 -0700
@@ -4,7 +4,7 @@
 default: Nominal2
 images: 
 
-all: Nominal2 paper pearl
+all: Nominal2 paper pearl pearl-jv
 
 
 ## global settings
@@ -32,7 +32,7 @@
 	$(ISABELLE_TOOL) document -o pdf  Paper/generated
 	@cp Paper/document.pdf paper.pdf
 
-## Pearl Paper
+## Pearl Paper ITP
 
 pearl: $(LOG)/HOL-Pearl.gz
 
@@ -41,6 +41,15 @@
 	$(ISABELLE_TOOL) document -o pdf Pearl/generated
 	@cp Pearl/document.pdf pearl.pdf
 
+## Pearl Journal Paper 
+
+pearl-jv: $(LOG)/HOL-Pearl-jv.gz
+
+$(LOG)/HOL-Pearl-jv.gz: Pearl-jv/ROOT.ML Pearl-jv/document/root.* Pearl-jv/*.thy
+	@$(USEDIR) -D generated HOL Pearl-jv
+	$(ISABELLE_TOOL) document -o pdf Pearl-jv/generated
+	@cp Pearl-jv/document.pdf pearl-jv.pdf
+
 
 ## clean