Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add empty compat file for Coq 8.8 | Jason Gross | 2018-03-07 |
* | 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 |