equal
deleted
inserted
replaced
57 |
57 |
58 $(LOG)/HOL-QPaper.gz: Quotient-Paper/ROOT.ML Quotient-Paper/document/root.* Quotient-Paper/*.thy |
58 $(LOG)/HOL-QPaper.gz: Quotient-Paper/ROOT.ML Quotient-Paper/document/root.* Quotient-Paper/*.thy |
59 @$(USEDIR) -D generated HOL Quotient-Paper |
59 @$(USEDIR) -D generated HOL Quotient-Paper |
60 $(ISABELLE_TOOL) document -o pdf Quotient-Paper/generated |
60 $(ISABELLE_TOOL) document -o pdf Quotient-Paper/generated |
61 @cp Quotient-Paper/document.pdf qpaper.pdf |
61 @cp Quotient-Paper/document.pdf qpaper.pdf |
|
62 |
|
63 ## Nominal Functions paper |
|
64 |
|
65 fnpaper: $(LOG)/HOL-FnPaper.gz |
|
66 |
|
67 $(LOG)/HOL-FnPaper.gz: Fun-Paper/ROOT.ML Fun-Paper/document/root.* Fun-Paper/*.thy |
|
68 @$(USEDIR) -D generated HOL Fun-Paper |
|
69 $(ISABELLE_TOOL) document -o pdf Fun-Paper/generated |
|
70 @cp Fun-Paper/document.pdf fnpaper.pdf |
62 |
71 |
63 ## Slides |
72 ## Slides |
64 |
73 |
65 session1: Slides/ROOT1.ML \ |
74 session1: Slides/ROOT1.ML \ |
66 Slides/document/root* \ |
75 Slides/document/root* \ |