| changeset 9520 | 73f1c6685367 |
| parent 6099 | d4866f6ff2f9 |
| 9519:fdc3b5bcd79d | 9520:73f1c6685367 |
|---|---|
3 # |
3 # |
4 |
4 |
5 ## targets |
5 ## targets |
6 |
6 |
7 default: HOL-ToyList HOL-Ifexpr HOL-CodeGen HOL-Datatype HOL-Recdef HOL-Misc |
7 default: HOL-ToyList HOL-Ifexpr HOL-CodeGen HOL-Datatype HOL-Recdef HOL-Misc |
8 images: |
|
9 test: |
|
10 all: default |
|
8 |
11 |
9 |
12 |
10 ## global settings |
13 ## global settings |
11 |
14 |
12 SRC = $(ISABELLE_HOME)/src |
15 SRC = $(ISABELLE_HOME)/src |