equal
deleted
inserted
replaced
18 |
18 |
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 Nominal |
25 |
25 |
26 ## Nominal2 Paper |
26 ## Nominal2 Paper |
27 |
27 |
28 paper: $(LOG)/HOL-Nominal2-Paper.gz |
28 paper: $(LOG)/HOL-Nominal2-Paper.gz |
29 |
29 |
30 $(LOG)/HOL-Nominal2-Paper.gz: Paper/ROOT.ML Paper/document/root.* Paper/*.thy |
30 $(LOG)/HOL-Nominal2-Paper.gz: Paper/ROOT.ML Paper/document/root.* Paper/*.thy |
31 @$(USEDIR) -D generated Nominal Paper |
31 @$(USEDIR) -D generated HOL Paper |
32 $(ISABELLE_TOOL) document -o pdf Paper/generated |
32 $(ISABELLE_TOOL) document -o pdf Paper/generated |
33 @cp Paper/document.pdf paper.pdf |
33 @cp Paper/document.pdf paper.pdf |
34 |
34 |
35 ## Pearl Paper ITP |
35 ## Pearl Paper ITP |
36 |
36 |