coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of plugins/syntax/dune

May 2026

coqbot-app[bot]
Merge PR #21955: Remove compat coq-core libraries (not executables)
committed
Gaëtan Gilbert
Remove compat coq-core libraries (not executables)
committed

December 2024

coqbot-app[bot]
Merge PR #19927: Rocq CLI
committed
Gaëtan Gilbert
Use `rocq pp-mlg` for rocq-runtime files, move `coqpp` back to `coq-core`
committed
Gaëtan Gilbert
rename package coq-core -> rocq-runtime
committed

October 2024

coqbot-app[bot]
Merge PR #19698: Rocqify plugins
committed
Pierre-Marie Pédrot
Rocqify some comments and description messages in plugins/.
committed

June 2024

coqbot-app[bot]
Merge PR #18973: Add primitive string type.
committed
Rodolphe Lepigre
Combine string and numbers in [plugin/syntax].
committed

August 2021

coqbot-app[bot]
Merge PR #14525: Include floats in the number notation mechanism
committed

June 2021

Pierre Roux
Include floats in the number notation mechanism
committed

May 2021

Théo Zimmermann
Add examples from former detailed tactic examples chapter to their new location.
committed

March 2021

coqbot-app[bot]
Merge PR #12567: [build] Split stdlib to it's own package.
committed
Emilio Jesus Gallego Arias
[build] Split stdlib to it's own opam package.
committed

February 2021

coqbot-app[bot]
Merge PR #13559: Signed primitive integers
committed
Ana
Signed primitive integers
committed

November 2020

coqbot-app[bot]
Merge PR #12218: Numeral notations for non inductive types
committed
Pierre Roux
Merge numeral and string notation plugins
committed
Pierre Roux
[numeral notation] R
committed

April 2020

Théo Zimmermann
Merge PR #11539: [dune] [stdlib] Build the standard library natively with Dune.
committed
Emilio Jesus Gallego Arias
[dune] [stdlib] Build the standard library natively with Dune.
committed