| changeset 604 | 0cf166548856 |
| parent 601 | 81f40b8bde7b |
| child 754 | b85875d65b10 |
| 603:7f35355df72e | 604:0cf166548856 |
|---|---|
11 |
11 |
12 SRC = $(ISABELLE_HOME)/src |
12 SRC = $(ISABELLE_HOME)/src |
13 OUT = $(ISABELLE_OUTPUT) |
13 OUT = $(ISABELLE_OUTPUT) |
14 LOG = $(OUT)/log |
14 LOG = $(OUT)/log |
15 |
15 |
16 USEDIR = $(ISABELLE_TOOL) usedir -v true -i true -d pdf ## -D generated |
16 USEDIR = $(ISABELLE_TOOL) usedir -v true -t true ## -D generated |
17 |
17 |
18 ## Quot |
18 ## Quot |
19 |
19 |
20 Quot: $(LOG)/HOL-Quot.gz |
20 Quot: $(LOG)/HOL-Quot.gz |
21 |
21 |