| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-05-27 | Release notes for 8.12. | Théo Zimmermann |
| 2020-05-14 | [exn] [tactics] improve backtraces on monadic errors | Emilio Jesus Gallego Arias |
| 2020-04-03 | Adding changelog for 8.11.1. | Pierre-Marie Pédrot |
| 2020-03-08 | Minor improvements to the unreleased changelog. | Théo Zimmermann |
| 2020-02-20 | Adding changelog. | Hugo Herbelin |
| 2020-01-08 | Add changelog entry for native string extraction | Maxime Dénès |
| 2019-06-16 | Changelog for 8.10+beta2. | Théo Zimmermann |
| 2019-06-03 | Update doc to reflect that PG now supports Coq-generated proof diffs | Jim Fehrle |
| 2019-05-13 | Move last changelog entries for 8.10+beta1. | Théo Zimmermann |
| 2019-05-08 | Update release process documentation and changelog entry. | Théo Zimmermann |
| 2019-05-05 | Add changelog entry about moving changelog to refman. | Théo Zimmermann |
| 2019-05-05 | Create categories in changelog. | Théo Zimmermann |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |