Taddeus Kroes
|
dcca84a05b
Changed binary name to civcc
|
11 年 前 |
Taddeus Kroes
|
9f6cedc1a2
Documented output phase
|
12 年 前 |
Taddeus Kroes
|
b8ec1c056c
Added interface for Main module and generalised main phase function in a type
|
12 年 前 |
Taddeus Kroes
|
bbb89db752
Forgot to add the mli files in the last commit... and now removed (generated) types.ml from repo index
|
12 年 前 |