equal
deleted
inserted
replaced
28 $(LOG)/HOL-Quot-Paper.gz: Paper/ROOT.ML Paper/document/root.tex Paper/*.thy |
28 $(LOG)/HOL-Quot-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 $(ISATOOL) document -o pdf Paper/generated |
31 @cp Paper/document.pdf paper.pdf |
31 @cp Paper/document.pdf paper.pdf |
32 |
32 |
33 |
33 keywords: |
|
34 mkdir -p tmp |
|
35 cp $(ISABELLE_HOME)/heaps/polyml-5.3.0_x86-linux/log/Pure.gz tmp |
|
36 cp $(ISABELLE_HOME)/heaps/polyml-5.3.0_x86-linux/log/HOL.gz tmp |
|
37 cp $(ISABELLE_HOME)/heaps/polyml-5.3.0_x86-linux/log/Pure-ProofGeneral.gz tmp |
|
38 cp $(ISABELLE_HOME)/heaps/polyml-5.3.0_x86-linux/log/HOL-Nominal.gz tmp |
|
39 cp $(LOG)/HOL-Nominal-Quot.gz tmp |
|
40 isabelle keywords -k quot tmp/* |
|
41 |
|
42 |
34 ## clean |
43 ## clean |
35 |
44 |
36 clean: |
45 clean: |
37 @rm -f $(LOG)/HOL-Quot.gz |
46 @rm -f $(LOG)/HOL-Quot.gz |