| changeset 56 | b3898315e687 |
| parent 30 | f5db9e08effc |
| child 62 | d94209ad2880 |
| 55:d71424eb5d0c | 56:b3898315e687 |
|---|---|
12 |
12 |
13 SRC = $(ISABELLE_HOME)/src |
13 SRC = $(ISABELLE_HOME)/src |
14 OUT = $(ISABELLE_OUTPUT) |
14 OUT = $(ISABELLE_OUTPUT) |
15 LOG = $(OUT)/log |
15 LOG = $(OUT)/log |
16 |
16 |
17 USEDIR = $(ISABELLE_TOOL) usedir -v true -i true -d pdf ## -D generated |
17 USEDIR = $(ISABELLE_TOOL) usedir -v true -d pdf ## -D generated |
18 |
18 |
19 |
19 |
20 ## ListP |
20 ## ListP |
21 |
21 |
22 ListP: $(OUT)/ListP |
22 ListP: $(OUT)/ListP |