Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |