| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | [summary] Adapt STM to the new Summary API. |  Emilio Jesus Gallego Arias | 2017-12-09 |
| * | [api] Remove aliases of `Evar.t` | Emilio Jesus Gallego Arias | 2017-11-26 |
| * | [api] Insert miscellaneous API deprecation back to core. | Emilio Jesus Gallego Arias | 2017-11-13 |
| * | [api] Move structures deprecated in the API to the core. | Emilio Jesus Gallego Arias | 2017-11-06 |
| * | Allow declaring universe constraints at definition level. |  Matthieu Sozeau | 2017-09-19 |
| * | deprecate Pp.std_ppcmds type alias |  Matej Košík | 2017-07-27 |
| * | Bump year in headers. |  Pierre-Marie Pédrot | 2017-07-04 |
| * | [vernac] Remove forward hooks from Obligations. | Emilio Jesus Gallego Arias | 2017-06-20 |
| * | Remove unused [open] statements |  Gaetan Gilbert | 2017-04-27 |
| * | Make Obligations see fix_exn |  Enrico Tassi | 2017-02-15 |
| * | [stm] Break stm/toplevel dependency loop. | Emilio Jesus Gallego Arias | 2017-02-15 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |