equal
deleted
inserted
replaced
66 |
66 |
67 $(LOG)/HOL-QPaper.gz: Quotient-Paper/ROOT.ML Quotient-Paper/document/root.* Quotient-Paper/*.thy |
67 $(LOG)/HOL-QPaper.gz: Quotient-Paper/ROOT.ML Quotient-Paper/document/root.* Quotient-Paper/*.thy |
68 @$(USEDIR) -D generated HOL Quotient-Paper |
68 @$(USEDIR) -D generated HOL Quotient-Paper |
69 $(ISABELLE_TOOL) document -o pdf Quotient-Paper/generated |
69 $(ISABELLE_TOOL) document -o pdf Quotient-Paper/generated |
70 @cp Quotient-Paper/document.pdf qpaper.pdf |
70 @cp Quotient-Paper/document.pdf qpaper.pdf |
|
71 |
|
72 ## Quotient Journal Paper |
|
73 |
|
74 qpaper-jv: $(LOG)/HOL-QPaper-jv.gz |
|
75 |
|
76 $(LOG)/HOL-QPaper-jv.gz: Quotient-Paper-jv/ROOT.ML Quotient-Paper-jv/document/root.* Quotient-Paper-jv/*.thy |
|
77 @$(USEDIR) -D generated HOL Quotient-Paper-jv |
|
78 $(ISABELLE_TOOL) document -o pdf Quotient-Paper-jv/generated |
|
79 @cp Quotient-Paper-jv/document.pdf qpaper-jv.pdf |
71 |
80 |
72 ## Nominal Functions paper |
81 ## Nominal Functions paper |
73 |
82 |
74 fnpaper: $(LOG)/HOL-FnPaper.gz |
83 fnpaper: $(LOG)/HOL-FnPaper.gz |
75 |
84 |