--- a/IsaMakefile Fri Jul 22 11:52:12 2011 +0100
+++ b/IsaMakefile Fri Aug 12 22:37:41 2011 +0200
@@ -32,6 +32,15 @@
$(ISABELLE_TOOL) document -o pdf ESOP-Paper/generated
@cp ESOP-Paper/document.pdf esop-paper.pdf
+## LMCS Paper
+
+lmcs: $(LOG)/HOL-LMCS-Paper.gz
+
+$(LOG)/HOL-LMCS-Paper.gz: LMCS-Paper/ROOT.ML LMCS-Paper/document/root.* LMCS-Paper/*.thy
+ @$(USEDIR) -f ROOT.ML -D generated Nominal2 LMCS-Paper
+ $(ISABELLE_TOOL) document -o pdf LMCS-Paper/generated
+ @cp LMCS-Paper/document.pdf lmcs-paper.pdf
+
## Pearl Paper ITP
pearl: $(LOG)/HOL-Pearl.gz