25 rm -f Slides/generated/*.aux # otherwise latex will fall over |
25 rm -f Slides/generated/*.aux # otherwise latex will fall over |
26 cd Slides/generated ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex |
26 cd Slides/generated ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex |
27 cp Slides/generated/root.beamer.pdf Slides/slides.pdf |
27 cp Slides/generated/root.beamer.pdf Slides/slides.pdf |
28 |
28 |
29 |
29 |
30 ## Paper |
30 ## long paper |
31 |
31 |
32 session2: tphols-2011/ROOT.ML \ |
32 session2: tphols-2011/ROOT.ML \ |
33 tphols-2011/document/root* \ |
33 tphols-2011/document/root* \ |
34 *.thy |
34 *.thy |
35 @$(USEDIR) -D generated -f ROOT.ML ListP tphols-2011 |
35 @$(USEDIR) -D generated -f ROOT.ML HOL tphols-2011 |
36 |
36 |
37 paper: session2 |
37 paper: session2 |
38 rm -f tphols-2011/generated/*.aux # otherwise latex will fall over |
38 rm -f tphols-2011/generated/*.aux # otherwise latex will fall over |
39 cd tphols-2011/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
39 cd tphols-2011/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
|
40 cd tphols-2011/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
40 cp tphols-2011/generated/root.pdf tphols-2011/myhill.pdf |
41 cp tphols-2011/generated/root.pdf tphols-2011/myhill.pdf |
|
42 |
|
43 |
|
44 ## ITP paper |
|
45 |
|
46 session3: Paper/ROOT.ML \ |
|
47 Paper/document/root* \ |
|
48 Paper/*.thy |
|
49 @$(USEDIR) -D generated -f ROOT.ML HOL Paper |
|
50 |
|
51 itp: session3 |
|
52 rm -f Paper/generated/*.aux # otherwise latex will fall over |
|
53 cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
|
54 cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
|
55 cp Paper/generated/root.pdf paper.pdf |
41 |
56 |
42 |
57 |
43 ## clean |
58 ## clean |
44 |
59 |
45 clean: |
60 clean: |