equal
deleted
inserted
replaced
34 |
34 |
35 ## Pearl Paper |
35 ## Pearl Paper |
36 |
36 |
37 pearl: $(LOG)/HOL-Pearl.gz |
37 pearl: $(LOG)/HOL-Pearl.gz |
38 |
38 |
39 $(LOG)/HOL-Pearl.gz: Nominal/Nominal*.thy Pearl/ROOT.ML Pearl/document/root.* Pearl/*.thy |
39 $(LOG)/HOL-Pearl.gz: Nominal-General/Nominal*.thy Pearl/ROOT.ML Pearl/document/root.* Pearl/*.thy |
40 @$(USEDIR) -D generated HOL Pearl |
40 @$(USEDIR) -D generated HOL Pearl |
41 $(ISABELLE_TOOL) document -o pdf Pearl/generated |
41 $(ISABELLE_TOOL) document -o pdf Pearl/generated |
42 @cp Pearl/document.pdf pearl.pdf |
42 @cp Pearl/document.pdf pearl.pdf |
43 |
43 |
44 |
44 |