equal
deleted
inserted
replaced
25 |
25 |
26 paper: $(LOG)/HOL-Nominal2-Paper.gz |
26 paper: $(LOG)/HOL-Nominal2-Paper.gz |
27 |
27 |
28 $(LOG)/HOL-Nominal2-Paper.gz: Paper/ROOT.ML Paper/document/root.tex Paper/*.thy |
28 $(LOG)/HOL-Nominal2-Paper.gz: Paper/ROOT.ML Paper/document/root.tex Paper/*.thy |
29 @$(USEDIR) -D generated HOL Paper |
29 @$(USEDIR) -D generated HOL Paper |
30 $(ISATOOL) document -o pdf Paper/generated |
30 $(ISABELLE_TOOL) document -o pdf Paper/generated |
31 @cp Paper/document.pdf paper.pdf |
31 @cp Paper/document.pdf paper.pdf |
32 |
32 |
33 ## clean |
33 ## clean |
34 |
34 |
35 clean: |
35 clean: |