diff -r b7e524e7ee83 -r 95df71c3df2f IsaMakefile
--- a/IsaMakefile	Thu Apr 08 08:40:49 2010 +0200
+++ b/IsaMakefile	Thu Apr 08 09:12:13 2010 +0200
@@ -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