equal
deleted
inserted
replaced
29 |
29 |
30 $(LOG)/HOL-ESOP-Paper.gz: ESOP-Paper/ROOT.ML ESOP-Paper/document/root.* ESOP-Paper/*.thy |
30 $(LOG)/HOL-ESOP-Paper.gz: ESOP-Paper/ROOT.ML ESOP-Paper/document/root.* ESOP-Paper/*.thy |
31 @$(USEDIR) -f ROOT.ML -D generated Nominal2 ESOP-Paper |
31 @$(USEDIR) -f ROOT.ML -D generated Nominal2 ESOP-Paper |
32 $(ISABELLE_TOOL) document -o pdf ESOP-Paper/generated |
32 $(ISABELLE_TOOL) document -o pdf ESOP-Paper/generated |
33 @cp ESOP-Paper/document.pdf esop-paper.pdf |
33 @cp ESOP-Paper/document.pdf esop-paper.pdf |
|
34 |
|
35 ## LMCS Paper |
|
36 |
|
37 lmcs: $(LOG)/HOL-LMCS-Paper.gz |
|
38 |
|
39 $(LOG)/HOL-LMCS-Paper.gz: LMCS-Paper/ROOT.ML LMCS-Paper/document/root.* LMCS-Paper/*.thy |
|
40 @$(USEDIR) -f ROOT.ML -D generated Nominal2 LMCS-Paper |
|
41 $(ISABELLE_TOOL) document -o pdf LMCS-Paper/generated |
|
42 @cp LMCS-Paper/document.pdf lmcs-paper.pdf |
34 |
43 |
35 ## Pearl Paper ITP |
44 ## Pearl Paper ITP |
36 |
45 |
37 pearl: $(LOG)/HOL-Pearl.gz |
46 pearl: $(LOG)/HOL-Pearl.gz |
38 |
47 |