| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-10-06 | [api] Remove (most) 8.9 deprecated objects. | Emilio Jesus Gallego Arias | |
| A few of them will be of help for future cleanups. We have spared the stuff in `Names` due to bad organization of this module following the split from `Term`, which really difficult things removing the constructors. | |||
| 2018-07-01 | [api] Fix wrong deprecation warning (#7915) | Emilio Jesus Gallego Arias | |
| Fixes: #7915. Due to a change in the original misctypes removal PR, the deprecation notice went out of sync. | |||
| 2018-06-12 | [api] Add compatiblity Misctypes module. | Emilio Jesus Gallego Arias | |
| To be removed in 8.10. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |