Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [api] Rename `global_reference` to `GlobRef.t` to follow kernel style. | 2018-05-04 | |
* | Update headers following #6543. | 2018-02-27 | |
* | Bump year in headers. | 2017-07-04 | |
* | Pretyping cleanup: remove constr_of_global calls | 2017-05-29 | |
* | Cases API using EConstr. | 2017-02-14 | |
* | Coercion API using EConstr. | 2017-02-14 | |
* | Program: cleanup in cases, add options | 2016-06-29 | |
* | Rework treatment of default transparency of obligations | 2016-06-27 | |
* | Update copyright headers. | 2016-01-20 | |
* | Update headers. | 2015-01-12 | |
* | Correct rebase on STM code. Thanks to E. Tassi for help on dealing with | 2014-05-06 | |
* | Updating headers. | 2012-08-08 | |
* | Added a .mli to pretyping/program.ml | 2012-06-25 |