| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-04-03 | Adding changelog for 8.11.1. | Pierre-Marie Pédrot |
| 2020-03-12 | Merge PR #11781: Minor improvements to the unreleased changelog. | Clément Pit-Claudel |
| 2020-03-08 | Minor improvements to the unreleased changelog. | Théo Zimmermann |
| 2020-03-08 | Minor improvements to the unreleased changelog. | Théo Zimmermann |
| 2020-02-28 | Adding change log | Hugo Herbelin |
| 2020-02-05 | Merge PR #11414: Remove the Tactic menu from CoqIDE. | Hugo Herbelin |
| 2020-01-27 | Merge PR #11415: Remove the CoqIDE "Revert all Buffers" command. | Hugo Herbelin |
| 2020-01-22 | Move new entries in 8.11.0 changelog. | Théo Zimmermann |
| 2020-01-17 | Remove the CoqIDE "Revert all Buffers" command. | Pierre-Marie Pédrot |
| 2020-01-17 | Remove the Tactic menu from CoqIDE. | Pierre-Marie Pédrot |
| 2020-01-16 | Adding a changelog. | Pierre-Marie Pédrot |
| 2019-06-16 | Changelog for 8.10+beta2. | Théo Zimmermann |
| 2019-06-13 | Add missing changelog entry for #10360. | Théo Zimmermann |
| 2019-05-05 | Create categories in changelog. | Théo Zimmermann |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |