aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/changes.rst
AgeCommit message (Expand)Author
2019-12-02List of 8.11 contributors and stats.Théo Zimmermann
2019-12-02Merge redundant consecutive changelog entries on reals.Théo Zimmermann
2019-12-02Highlight refine attribute for Instance.Théo Zimmermann
2019-12-02Warn more clearly about incompatibilities coming from #10476.Théo Zimmermann
2019-12-028.11 release notes.Matthieu Sozeau
2019-12-02Move unreleased changelog to new 8.11 section.Théo Zimmermann
2019-11-28Release notes for Coq 8.10.2Vincent Laporte
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
2019-10-09Fix alphabetical ordering in the list of contributors to 8.10.Théo Zimmermann
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
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
2019-06-13Integrate 8.9.0 and 8.9.1 changelog entries.Théo Zimmermann
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
2019-05-16[refman] Introduce syntax for alternatives in notationsClément Pit-Claudel
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
2019-05-05New infrastructure for the unreleased changelog.Théo Zimmermann
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
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
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
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 chronol...Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 18:53:38 +0000