equal
deleted
inserted
replaced
24 slides1: session1 |
24 slides1: session1 |
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 ## Slides |
|
30 |
|
31 session2: Slides/ROOT2.ML \ |
|
32 Slides/document/root* \ |
|
33 Slides/Slides2.thy |
|
34 @$(USEDIR) -D generated -f ROOT2.ML HOL Slides |
|
35 |
|
36 slides2: session2 |
|
37 rm -f Slides/generated/*.aux # otherwise latex will fall over |
|
38 cd Slides/generated ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex |
|
39 cp Slides/generated/root.beamer.pdf Slides/slides.pdf |
|
40 |
|
41 |
29 # main files |
42 # main files |
30 |
43 |
31 session: ./ROOT.ML ./*.thy |
44 session: ./ROOT.ML ./*.thy |
32 @$(USEDIR) -b -D generated -f ROOT.ML HOL Prio |
45 @$(USEDIR) -b -D generated -f ROOT.ML HOL Prio |
33 |
46 |
41 cd Paper/generated ; bibtex root |
54 cd Paper/generated ; bibtex root |
42 cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
55 cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
43 cp Paper/generated/root.pdf paper.pdf |
56 cp Paper/generated/root.pdf paper.pdf |
44 |
57 |
45 |
58 |
46 slides: Slides/ROOT1.ML Slides/*.thy |
|
47 @$(USEDIR) -D generated -f ROOT1.ML Prio Slides |
|
48 rm -f Slides/generated/*.aux # otherwise latex will fall over |
|
49 cd Slides/generated ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex |
|
50 cp Slides/generated/root.beamer.pdf Slides/slides.pdf |
|
51 |
59 |