changeset 9520 | 73f1c6685367 |
parent 9493 | 494f8cd34df7 |
child 9644 | 6b0b6b471855 |
9519:fdc3b5bcd79d | 9520:73f1c6685367 |
---|---|
3 # |
3 # |
4 |
4 |
5 ## targets |
5 ## targets |
6 |
6 |
7 default: HOL-ToyList HOL-Ifexpr HOL-CodeGen HOL-Trie HOL-Datatype HOL-Recdef HOL-Misc styles |
7 default: HOL-ToyList HOL-Ifexpr HOL-CodeGen HOL-Trie HOL-Datatype HOL-Recdef HOL-Misc styles |
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 |