| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-01-23 | More minor tweaks to the 8.11 changelog. | Théo Zimmermann | |
| Co-Authored-By: Jim Fehrle <jim.fehrle@gmail.com> | |||
| 2020-01-23 | Add missing 'and'. | Théo Zimmermann | |
| Co-Authored-By: Jim Fehrle <jim.fehrle@gmail.com> | |||
| 2020-01-22 | Minor tweaks to the 8.11 changelog. | Théo Zimmermann | |
| 2020-01-22 | Insert changelog entry for #11430 from v8.11 branch. | Théo Zimmermann | |
| 2020-01-22 | Move new entries in 8.11.0 changelog. | Théo Zimmermann | |
| 2020-01-22 | A few edits to the 8.11 section of the Changes chapter. | Théo Zimmermann | |
| - Mention Guillaume Claret among maintainers of the OPAM repository (as suggested by Karl Palmskog). - Update links to the documentation to avoid being outdated. - Mention sections beyond the one on 8.11+beta1. | |||
| 2020-01-22 | Changelog for 8.11.0. | Théo Zimmermann | |
| 2020-01-11 | Merge PR #11349: [refman] [changelog] Announce omega replacement. | Pierre-Marie Pédrot | |
| Ack-by: ejgallego Reviewed-by: maximedenes | |||
| 2020-01-08 | [refman] [changelog] Announce omega replacement. | Théo Zimmermann | |
| 2019-12-27 | docs: Update changes.rst w.r.t. ssrsetoid.v's simplification | Erik Martin-Dorel | |
| 2019-12-02 | List of 8.11 contributors and stats. | Théo Zimmermann | |
| 2019-12-02 | Merge redundant consecutive changelog entries on reals. | Théo Zimmermann | |
| 2019-12-02 | Highlight refine attribute for Instance. | Théo Zimmermann | |
| 2019-12-02 | Warn more clearly about incompatibilities coming from #10476. | Théo Zimmermann | |
| 2019-12-02 | 8.11 release notes. | Matthieu Sozeau | |
| 2019-12-02 | Move unreleased changelog to new 8.11 section. | Théo Zimmermann | |
| 2019-11-28 | Release notes for Coq 8.10.2 | Vincent Laporte | |
| 2019-10-24 | Release notes for Coq 8.10.1 | Vincent Laporte | |
| 2019-10-15 | Merge PR #10854: Fix alphabetical ordering in contributors to 8.10.0. | Clément Pit-Claudel | |
| Ack-by: cpitclaudel Reviewed-by: jfehrle | |||
| 2019-10-09 | Fix alphabetical ordering in the list of contributors to 8.10. | Théo Zimmermann | |
| Also remove Pierre Letouzey from the list because his contribution was the numeral notation feature which ended up being backported to 8.9, after the branching, but before the first beta release. | |||
| 2019-10-06 | 8.10.0 release notes. | Théo Zimmermann | |
| 2019-09-12 | Release notes for 8.10+beta3. | Théo Zimmermann | |
| 2019-08-16 | Fix quoting in 8.9 changelog entry. | Théo Zimmermann | |
| 2019-07-23 | doc: Fix a detail in 2 files describing the under tactic | Erik Martin-Dorel | |
| href: coq/coq#9651 | |||
| 2019-06-17 | Fix the changelog of 8.10+beta2 following the backport of #10205. | Théo Zimmermann | |
| 2019-06-16 | Changelog for 8.10+beta2. | Théo Zimmermann | |
| 2019-06-14 | Merge PR #10322: Update changes.rst as a follow-up to #9743 | Théo Zimmermann | |
| Reviewed-by: Zimmi48 | |||
| 2019-06-13 | Integrate 8.9.0 and 8.9.1 changelog entries. | Théo Zimmermann | |
| From the CHANGES file in branch v8.9. | |||
| 2019-06-06 | Update changes.rst as a follow-up to #9743 | Kazuhiko Sakaguchi | |
| 2019-06-05 | Fix #10283: clearer dependency documentation for building CoqIDE. | Théo Zimmermann | |
| 2019-05-22 | [refman] Give explicit names to the various 'Arguments' commands | Clément Pit-Claudel | |
| 2019-05-21 | Fixing typos - Part 1 | JPR | |
| 2019-05-20 | Remove Refine Instance Mode option | Maxime Dénès | |
| 2019-05-19 | Merge PR #10143: Add dedicated syntax for alternatives (abc | def) in manual ↵ | Théo Zimmermann | |
| notations Reviewed-by: Zimmi48 Ack-by: jfehrle | |||
| 2019-05-16 | [refman] Introduce syntax for alternatives in notations | Clément Pit-Claudel | |
| Closes GH-8482. | |||
| 2019-05-13 | Missing change entry for #9854. | Théo Zimmermann | |
| 2019-05-13 | Move last changelog entries for 8.10+beta1. | Théo Zimmermann | |
| 2019-05-08 | Define a new `is_a_released_version` variable in configure.ml. | Théo Zimmermann | |
| Use it to not include unreleased changes when building a released version. | |||
| 2019-05-05 | New infrastructure for the unreleased changelog. | Théo Zimmermann | |
| Move existing entries. | |||
| 2019-04-30 | Change entry from #9651. | Théo Zimmermann | |
| 2019-04-30 | Change entry for #10014. | Théo Zimmermann | |
| 2019-04-30 | Add number of commits, PRs and issues closed. | Théo Zimmermann | |
| 2019-04-30 | Advertize continuous deployment of documentation. | Théo Zimmermann | |
| 2019-04-30 | More review suggestions. | Théo Zimmermann | |
| 2019-04-30 | Remove remaining references to CHANGES.md from the Recent changes chapter. | Théo Zimmermann | |
| 2019-04-30 | Remove misplaced CHANGES entry and fix links formatting. | Théo Zimmermann | |
| PR #8187 misplaced its CHANGES entry. We remove it in this commit instead of moving it to the right place because it is reverted in #9987. | |||
| 2019-04-30 | Finish adding authors and links to PRs. | Théo Zimmermann | |
| 2019-04-30 | Change entry for #9906. | Théo Zimmermann | |
| 2019-04-30 | Split changes between main changes and other changes (no repetition). | Théo Zimmermann | |
| Add more links to PRs and credits of authors. | |||
| 2019-04-30 | Remove 8.10 entries from CHANGES file. | Théo Zimmermann | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |