aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/changes.rst
AgeCommit message (Collapse)Author
2019-10-24Release notes for Coq 8.10.1Vincent Laporte
2019-10-15Merge PR #10854: Fix alphabetical ordering in contributors to 8.10.0.Clément Pit-Claudel
Ack-by: cpitclaudel Reviewed-by: jfehrle
2019-10-09Fix 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-068.10.0 release notes.Théo Zimmermann
2019-09-12Release notes for 8.10+beta3.Théo Zimmermann
2019-08-16Fix quoting in 8.9 changelog entry.Théo Zimmermann
2019-07-23doc: Fix a detail in 2 files describing the under tacticErik Martin-Dorel
href: coq/coq#9651
2019-06-17Fix the changelog of 8.10+beta2 following the backport of #10205.Théo Zimmermann
2019-06-16Changelog for 8.10+beta2.Théo Zimmermann
2019-06-14Merge PR #10322: Update changes.rst as a follow-up to #9743Théo Zimmermann
Reviewed-by: Zimmi48
2019-06-13Integrate 8.9.0 and 8.9.1 changelog entries.Théo Zimmermann
From the CHANGES file in branch v8.9.
2019-06-06Update changes.rst as a follow-up to #9743Kazuhiko Sakaguchi
2019-06-05Fix #10283: clearer dependency documentation for building CoqIDE.Théo Zimmermann
2019-05-22[refman] Give explicit names to the various 'Arguments' commandsClément Pit-Claudel
2019-05-21Fixing typos - Part 1JPR
2019-05-20Remove Refine Instance Mode optionMaxime Dénès
2019-05-19Merge 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 notationsClément Pit-Claudel
Closes GH-8482.
2019-05-13Missing change entry for #9854.Théo Zimmermann
2019-05-13Move last changelog entries for 8.10+beta1.Théo Zimmermann
2019-05-08Define 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-05New infrastructure for the unreleased changelog.Théo Zimmermann
Move existing entries.
2019-04-30Change entry from #9651.Théo Zimmermann
2019-04-30Change entry for #10014.Théo Zimmermann
2019-04-30Add number of commits, PRs and issues closed.Théo Zimmermann
2019-04-30Advertize continuous deployment of documentation.Théo Zimmermann
2019-04-30More review suggestions.Théo Zimmermann
2019-04-30Remove remaining references to CHANGES.md from the Recent changes chapter.Théo Zimmermann
2019-04-30Remove 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-30Finish adding authors and links to PRs.Théo Zimmermann
2019-04-30Change entry for #9906.Théo Zimmermann
2019-04-30Split changes between main changes and other changes (no repetition).Théo Zimmermann
Add more links to PRs and credits of authors.
2019-04-30Remove 8.10 entries from CHANGES file.Théo Zimmermann
2019-04-30First fixing pass, and experiment with dune-style PR number and author listing.Théo Zimmermann
2019-04-30Apply suggestions from code review Théo Zimmermann
Mainly markup fixes by Theo Co-Authored-By: mattam82 <matthieu.sozeau@inria.fr>
2019-04-30Credits for 8.10Matthieu Sozeau
2019-03-31Move content of COMPATIBILITY to Changes chapter.Théo Zimmermann
2019-03-31Move V8 CHANGES to Changes chapter.Théo Zimmermann
2019-03-31Split credits chapter in two parts: history, and changelog in inverse ↵Théo Zimmermann
chronological order.
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 06:34:27 +0000