equal
deleted
inserted
replaced
1 |
1 |
2 ## targets |
2 ## targets |
3 |
3 |
4 default: tests |
4 default: session |
5 images: |
5 images: |
6 |
6 |
7 all: tests esop pearl pearl-jv qpaper slides |
7 all: tests esop pearl pearl-jv qpaper slides lmcs |
8 |
8 |
9 |
9 |
10 ## global settings |
10 ## global settings |
11 |
11 |
12 SRC = $(ISABELLE_HOME)/src |
12 SRC = $(ISABELLE_HOME)/src |
194 cd Slides/generated9 ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex |
194 cd Slides/generated9 ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex |
195 cd Slides/generated9 ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex |
195 cd Slides/generated9 ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex |
196 cp Slides/generated9/root.beamer.pdf Slides/slides9.pdf |
196 cp Slides/generated9/root.beamer.pdf Slides/slides9.pdf |
197 |
197 |
198 |
198 |
199 slides: slides1 slides2 slides3 slides4 slides5 slides6 slides7 slides8 slides8 |
199 slides: slides1 slides2 slides3 slides4 slides5 slides6 slides7 slides8 slides8 slides9 |
200 |
200 |
201 |
201 |
202 |
202 |
203 |
203 |
204 ## clean |
204 ## clean |