equal
deleted
inserted
replaced
53 cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
53 cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
54 cd Paper/generated ; bibtex root |
54 cd Paper/generated ; bibtex root |
55 cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
55 cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
56 cp Paper/generated/root.pdf paper.pdf |
56 cp Paper/generated/root.pdf paper.pdf |
57 |
57 |
|
58 # C&L paper |
|
59 |
|
60 jour: Journal/*.thy Journal/*.ML |
|
61 @$(USEDIR) -D generated -f ROOT.ML Prio Journal |
|
62 rm -f Journal/generated/*.aux # otherwise latex will fall over |
|
63 cd Journal/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
|
64 cd Journal/generated ; bibtex root |
|
65 cd Journal/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
|
66 cp Journal/generated/root.pdf journal.pdf |
58 |
67 |
59 |
68 |
|
69 |