equal
deleted
inserted
replaced
42 $(ISABELLE_TOOL) document -o pdf Pearl/generated |
42 $(ISABELLE_TOOL) document -o pdf Pearl/generated |
43 @cp Pearl/document.pdf pearl.pdf |
43 @cp Pearl/document.pdf pearl.pdf |
44 |
44 |
45 ## Pearl Journal Paper |
45 ## Pearl Journal Paper |
46 |
46 |
47 pearl-jv: $(LOG)/HOL-Pearl-jv.gz |
47 $(LOG)/HOL-Pearl-jv.gz: Pearl-jv/ROOT.ML Nominal/*.thy |
|
48 @cd Pearl-jv; $(USEDIR) -b -f ROOT.ML HOL HOL-Pearl-jv |
48 |
49 |
49 $(LOG)/HOL-Pearl-jv.gz: Pearl-jv/ROOT.ML Pearl-jv/document/root.* Pearl-jv/*.thy |
50 pearl-jv: $(LOG)/HOL-Pearl-jv.gz Pearl-jv/ROOT2.ML Pearl-jv/document/root.* Pearl-jv/*.thy |
50 @$(USEDIR) -D generated HOL Pearl-jv |
51 @$(USEDIR) -f ROOT2.ML -D generated HOL-Pearl-jv Pearl-jv |
51 $(ISABELLE_TOOL) document -o pdf Pearl-jv/generated |
52 @$(ISABELLE_TOOL) document -o pdf Pearl-jv/generated |
52 @cp Pearl-jv/document.pdf pearl-jv.pdf |
53 @cp Pearl-jv/document.pdf pearl-jv.pdf |
53 |
|
54 |
54 |
55 ## Quotient Paper |
55 ## Quotient Paper |
56 |
56 |
57 qpaper: $(LOG)/HOL-QPaper.gz |
57 qpaper: $(LOG)/HOL-QPaper.gz |
58 |
58 |