Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | New datastructure for universes of inductive types | 2017-06-16 | ||
* | Drop '.' from CErrors.anomaly, insert it in args | 2017-06-02 | ||
* | Remove unused [open] statements | 2017-04-27 | ||
* | Add [_] prefix to unused values which maybe should be kept | 2017-04-27 | ||
* | Merge branch 'trunk' into pr379 | 2017-03-24 | ||
|\ | ||||
| * | [pp] Remove uses of expensive string_of_ppcmds. | 2017-03-21 | ||
* | | Evarconv API using EConstr. | 2017-02-14 | ||
|/ | ||||
* | Stronger static invariant in equality upto universes. | 2016-10-31 | ||
* | Code factorization in Universes. | 2016-10-31 | ||
* | Moving Universes to the engine/ folder. | 2016-10-30 |