| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Add empty compat file for Coq 8.8 |  Jason Gross | 2018-03-07 |
| | | | | | This closes #6598 | ||
| * | Update headers following #6543. |  Théo Zimmermann | 2018-02-27 |
| | | |||
| * | Fix (partial) #4878: option to stop autodeclaring axiom as instance. |  Gaëtan Gilbert | 2017-11-28 |
| | | |||
| * | Compat/Coq87.v : Unset Omega UseLocalDefs (see PR #768) |  Pierre Letouzey | 2017-10-07 |
| | | |||
| * | Adding a V8.7 compatibility version number. |  Hugo Herbelin | 2017-07-21 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |