equal
deleted
inserted
replaced
1 |
1 |
2 ## targets |
2 ## targets |
3 |
3 |
4 default: paper |
4 default: slides4 |
5 all: slides paper |
5 all: slides itp |
6 |
6 |
7 ## global settings |
7 ## global settings |
8 |
8 |
9 SRC = $(ISABELLE_HOME)/src |
9 SRC = $(ISABELLE_HOME)/src |
10 OUT = $(ISABELLE_OUTPUT) |
10 OUT = $(ISABELLE_OUTPUT) |
48 slides3: session3 |
48 slides3: session3 |
49 rm -f Slides/generated/*.aux # otherwise latex will fall over |
49 rm -f Slides/generated/*.aux # otherwise latex will fall over |
50 cd Slides/generated ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex |
50 cd Slides/generated ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex |
51 cp Slides/generated/root.beamer.pdf Slides/slides2.pdf |
51 cp Slides/generated/root.beamer.pdf Slides/slides2.pdf |
52 |
52 |
|
53 ## Slides 4 |
53 |
54 |
54 slides: slides1 slides2 slides3 |
55 session4: Slides/ROOT.ML \ |
|
56 Slides/document/root* \ |
|
57 Slides/Slides2.thy |
|
58 @$(USEDIR) -D generated -f ROOT4.ML HOL Slides |
|
59 |
|
60 slides4: session4 |
|
61 rm -f Slides/generated/*.aux # otherwise latex will fall over |
|
62 cd Slides/generated ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex |
|
63 cp Slides/generated/root.beamer.pdf Slides/slides4.pdf |
55 |
64 |
56 |
65 |
57 ## ITP paper |
66 slides: slides1 slides2 slides3 slides4 |
|
67 |
|
68 |
|
69 ## ITP itp |
58 |
70 |
59 session_itp: Paper/ROOT.ML \ |
71 session_itp: Paper/ROOT.ML \ |
60 Paper/document/root* \ |
72 Paper/document/root* \ |
61 Paper/*.thy |
73 Paper/*.thy |
62 @$(USEDIR) -D generated -f ROOT.ML HOL Paper |
74 @$(USEDIR) -D generated -f ROOT.ML HOL Paper |