| changeset 28500 | 4b79e5d3d0aa |
| parent 21212 | 547224bf9348 |
| 28499:eff93bc3c14f | 28500:4b79e5d3d0aa |
|---|---|
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 = $(ISATOOL) usedir -v true -i false -d false -C false -D document |
17 USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document |
18 |
18 |
19 |
19 |
20 ## Thy |
20 ## Thy |
21 |
21 |
22 THY = $(LOG)/HOL-Thy.gz |
22 THY = $(LOG)/HOL-Thy.gz |