equal
deleted
inserted
replaced
4 |
4 |
5 ## targets |
5 ## targets |
6 |
6 |
7 default: HOL |
7 default: HOL |
8 generate: HOL-Complex-Generate-HOL HOL-Complex-Generate-HOLLight |
8 generate: HOL-Complex-Generate-HOL HOL-Complex-Generate-HOLLight |
9 images: HOL HOL-Algebra HOL-Complex HOL-Complex-Matrix TLA |
9 images: HOL HOL-Algebra HOL-Complex HOL-Complex-Matrix TLA 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 \ |