equal
deleted
inserted
replaced
19 ## Quot |
19 ## Quot |
20 |
20 |
21 Quot: $(LOG)/HOL-Quot.gz |
21 Quot: $(LOG)/HOL-Quot.gz |
22 |
22 |
23 $(LOG)/HOL-Quot.gz: Quot/ROOT.ML Quot/*.thy |
23 $(LOG)/HOL-Quot.gz: Quot/ROOT.ML Quot/*.thy |
24 @$(USEDIR) HOL-Nominal Quot |
24 @$(USEDIR) HOL-Plain Quot |
25 |
25 |
26 paper: $(LOG)/HOL-Quot-Paper.gz |
26 paper: $(LOG)/HOL-Quot-Paper.gz |
27 |
27 |
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 |
36 cp $(ISABELLE_HOME)/heaps/polyml-5.3.0_x86-linux/log/HOL.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 |
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 |
38 cp $(ISABELLE_HOME)/heaps/polyml-5.3.0_x86-linux/log/HOL-Nominal.gz tmp |
39 cp $(LOG)/HOL-Nominal-Quot.gz tmp |
39 cp $(LOG)/HOL-Nominal-Quot.gz tmp |
40 isabelle keywords -k quot tmp/* |
40 isabelle keywords -k quot tmp/* |
41 |
41 |
42 |
|
43 ## clean |
42 ## clean |
44 |
43 |
45 clean: |
44 clean: |
46 @rm -f $(LOG)/HOL-Quot.gz |
45 @rm -f $(LOG)/HOL-Quot.gz |