| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Fixes #7192 (Print Assumptions does not enter implementation of submodules). |  Hugo Herbelin | 2018-04-07 |
| * | Update headers following #6543. |  Théo Zimmermann | 2018-02-27 |
| * | [api] Move structures deprecated in the API to the core. |  Emilio Jesus Gallego Arias | 2017-11-06 |
| * | [api] Deprecate all legacy uses of Names in core. | Emilio Jesus Gallego Arias | 2017-11-06 |
| * | Removing template polymorphism for definitions. |  Pierre-Marie Pédrot | 2017-07-26 |
| * | Safer API for Global.body_of_constant and variants. | Pierre-Marie Pédrot | 2017-07-13 |
| * | Bump year in headers. | Pierre-Marie Pédrot | 2017-07-04 |
| * | Drop '.' from CErrors.anomaly, insert it in args |  Jason Gross | 2017-06-02 |
| * | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2017-05-17 |
| * | Merge branch 'trunk' into pr379 |  Maxime Dénès | 2017-03-24 |
| * | [stm] Break stm/toplevel dependency loop. | Emilio Jesus Gallego Arias | 2017-02-15 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |