| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-12-05 | Unfortunate bug with "cofix with": case of a CProdN over no bindings. | Hugo Herbelin |
| 2019-12-02 | Move unreleased changelog to new 8.11 section. | Théo Zimmermann |
| 2019-11-28 | [changelog] Add types to changelog entries. | Théo Zimmermann |
| 2019-10-24 | Release notes for Coq 8.10.1 | Vincent Laporte |
| 2019-10-21 | Adding changelog | Hugo Herbelin |
| 2019-07-29 | Document changes by PR 10324 | Vincent Laporte |
| 2019-06-08 | Merge PR #10289: [Ltac2] “constr” arguments to tactic notations may have ... | Pierre-Marie Pédrot |
| 2019-06-06 | [Ltac2] Interpretation scopes in “constr” arguments of tactic notations | Vincent Laporte |
| 2019-06-05 | Changelog entry for Ltac2 (missing from #10002). | Théo Zimmermann |
| 2019-05-05 | Create categories in changelog. | Théo Zimmermann |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |