coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of dev/doc/release-process.md

August 2026

coqbot-app[bot]
Merge PR #22327: Coqide server renamed to RocqIDE server (coqidetop -> rocqidetop)
committed
Hugo Martel
coqide-server: Renamed to rocqide-server
committed

April 2026

coqbot-app[bot]
Merge PR #21921: More structured version handling in configure
committed
Gaëtan Gilbert
More structured version handling in configure
committed

January 2026

coqbot-app[bot]
Merge PR #21534: Document description for backporting to multiple branches.
committed
zimmi48.tngl.sh
Document description for backporting to multiple branches.
committed

June 2025

coqbot-app[bot]
Merge PR #20776: Update release documentation after renaming and document how to create views.
committed
zimmi48.tngl.sh
Document the use of the duplicate feature to create new views.
committed
zimmi48.tngl.sh
Update release documentation after renaming.
committed
coqbot-app[bot]
Merge PR #20136: Clarify release notes
committed
Pierre Roux
Clarify release notes
committed
coqbot-app[bot]
Merge PR #20724: Remove mailing list announcements from release process
committed
Gaëtan Gilbert
Remove mailing list announcements from release process
committed

January 2025

coqbot-app[bot]
Merge PR #20091: Clarify when links for previous refman versions should be switched from branch to tag.
committed
zimmi48.tngl.sh
Instruct to change links targeting branches to tags when appropriate.
committed
zimmi48.tngl.sh
Fix parentheses.
committed
coqbot-app[bot]
Merge PR #20019: [release notes] Remove left-overs forgotten in https://github.com/coq/coq/pull/19370
committed
Pierre Roux
[release notes] Remove left-overs forgotten in https://github.com/coq/coq/pull/19370
committed
coqbot-app[bot]
Merge PR #19973: Rename coq-stdlib -> rocq-stdlib
committed
Pierre Roux
Rename coq-stdlib -> rocq-stdlib
committed

December 2024

coqbot-app[bot]
Merge PR #19927: Rocq CLI
committed
Gaëtan Gilbert
rename package coq-core -> rocq-runtime
committed
coqbot-app[bot]
Merge PR #19530: Give Stdlib its own directory
committed
Pierre Roux
[CI] Add refman with all extras
committed
Pierre Roux
Rename OPAM package coq-stdlib -> rocq-core
committed

October 2024

coqbot-app[bot]
Merge PR #19370: Improve compat infrastructure
committed
Pierre Roux
Make compat more usable
committed

September 2024

coqbot-app[bot]
Merge PR #19531: [documentation] Feedback from 8.20 release process
committed
Pierre Roux
Feedback from 8.20 release process
committed

June 2024

coqbot-app[bot]
Merge PR #19245: docs(release-process.md): Add steps
committed
Erik Martin-Dorel
docs(release-process.md): Add steps
committed
coqbot-app[bot]
Merge PR #19198: Add detailed instructions to update the Zenodo record.
committed
zimmi48.tngl.sh
Add detailed instructions to update the Zenodo record.
committed

February 2024

coqbot-app[bot]
Merge PR #18632: chore: Update release-process.md about opam+docker steps
committed
Erik Martin-Dorel
chore: Update release-process.md about opam+docker steps
committed
coqbot-app[bot]
Merge PR #18614: release process: Simplify announcement process
committed
Pierre Roux
Update dev/doc/release-process.md
committed
Gaëtan Gilbert
release process: Simplify announcement process
committed

January 2024

coqbot-app[bot]
Merge PR #18547: Remove outdated item in release process
committed
Gaëtan Gilbert
Remove outdated item in release process
committed
coqbot-app[bot]
Merge PR #18418: release process: add note about adding a stable source archive
committed

December 2023

Gaëtan Gilbert
release process: add note about adding a stable source archive
committed

August 2023

coqbot-app[bot]
Merge PR #17785: Split Docker images in two: one for base and one for edge.
committed
zimmi48.tngl.sh
Split Docker images in two: one for base and one for edge.
committed

June 2023

coqbot-app[bot]
Merge PR #17791: add RM release item about propagating opam package changes
committed
Karl Palmskog
add RM release item about propagating opam package changes prompted by opam-repository CI to Coq repo
committed

January 2023

coqbot-app[bot]
Merge PR #17121: Fix job name in release process following update to CI / build infrastructure.
committed
Théo Zimmermann
Fix job name in release process following update to CI / build infrastructure.
committed

November 2022

coqbot-app[bot]
Merge PR #16823: Update release process
committed
Théo Zimmermann
Remove outdated information.
committed