equal
deleted
inserted
replaced
8 |
8 |
9 default: HOL |
9 default: HOL |
10 images: HOL HOL-Algebra HOL-Complex TLA |
10 images: HOL HOL-Algebra HOL-Complex TLA |
11 |
11 |
12 #Note: keep targets sorted (except for HOL-Library) |
12 #Note: keep targets sorted (except for HOL-Library) |
13 # HOL-Bali |
|
14 test: \ |
13 test: \ |
15 HOL-Library \ |
14 HOL-Library \ |
16 HOL-Auth \ |
15 HOL-Auth \ |
17 HOL-AxClasses \ |
16 HOL-AxClasses \ |
|
17 HOL-Bali \ |
18 HOL-Complex-ex \ |
18 HOL-Complex-ex \ |
19 HOL-CTL \ |
19 HOL-CTL \ |
20 HOL-Extraction \ |
20 HOL-Extraction \ |
21 HOL-Complex-HahnBanach \ |
21 HOL-Complex-HahnBanach \ |
22 HOL-Hoare \ |
22 HOL-Hoare \ |