equal
deleted
inserted
replaced
19 ## Nominal2 |
19 ## Nominal2 |
20 |
20 |
21 tests: $(LOG)/HOL-Nominal2.gz |
21 tests: $(LOG)/HOL-Nominal2.gz |
22 |
22 |
23 $(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy |
23 $(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy |
24 @cd Nominal; $(USEDIR) -b -d "" HOL Nominal |
24 @cd Nominal; $(USEDIR) -b -d "" HOL Nominal2 |
25 |
25 |
26 ## ESOP Paper |
26 ## ESOP Paper |
27 |
27 |
28 esop: $(LOG)/HOL-ESOP-Paper.gz |
28 esop: $(LOG)/HOL-ESOP-Paper.gz |
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 HOL-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 |
34 |
35 ## Pearl Paper ITP |
35 ## Pearl Paper ITP |
36 |
36 |