diff -r 4436039cc5e1 -r 05ccb61aa628 IsaMakefile --- 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