coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of lib/quickfix.ml

October 2024

coqbot-app[bot]
Merge PR #19692: Update the OCaml headers to reflect the fact Coq is now Rocq.
committed
Pierre-Marie Pédrot
Update the OCaml headers to reflect the fact Coq is now Rocq.
committed

July 2024

coqbot-app[bot]
Merge PR #19300: Quickfix for deprecated
committed
Enrico Tassi
[quickfix] for deprecated constants
committed

June 2024

coqbot-app[bot]
Merge PR #19147: warnings or errors with a known fix
committed
Enrico Tassi
[quickfix] warnings and errors can carry a qf in the vscode sense
committed