equal
deleted
inserted
replaced
4 |
4 |
5 ## targets |
5 ## targets |
6 |
6 |
7 default: HOL |
7 default: HOL |
8 generate: HOL-Complex-Generate-HOL |
8 generate: HOL-Complex-Generate-HOL |
9 images: HOL HOL-Algebra HOL-Complex TLA HOL4 |
9 images: HOL HOL-Algebra HOL-Complex TLA ####lcp temporary####HOL4 |
10 |
10 |
11 #Note: keep targets sorted (except for HOL-Library) |
11 #Note: keep targets sorted (except for HOL-Library) |
12 test: \ |
12 test: \ |
13 HOL-Library \ |
13 HOL-Library \ |
14 HOL-Auth \ |
14 HOL-Auth \ |
16 HOL-Bali \ |
16 HOL-Bali \ |
17 HOL-Complex-ex \ |
17 HOL-Complex-ex \ |
18 HOL-CTL \ |
18 HOL-CTL \ |
19 HOL-Extraction \ |
19 HOL-Extraction \ |
20 HOL-Complex-HahnBanach \ |
20 HOL-Complex-HahnBanach \ |
21 HOL-Complex-Import \ |
21 ####lcp temporary####HOL-Complex-Import \ |
22 HOL-Hoare \ |
22 HOL-Hoare \ |
23 HOL-HoareParallel \ |
23 HOL-HoareParallel \ |
24 HOL-IMP \ |
24 HOL-IMP \ |
25 HOL-IMPP \ |
25 HOL-IMPP \ |
26 HOL-IOA \ |
26 HOL-IOA \ |