coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of lib/cDebug.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

May 2023

coqbot-app[bot]
Merge PR #17585: Revised warning API: warnings can have multiple categories
committed
Gaëtan Gilbert
Remove low-value warning categories
committed
Gaëtan Gilbert
Revised warning API: warnings can have multiple categories
committed
coqbot-app[bot]
Merge PR #17642: Improve breaks in debug pprinting
committed
Gaëtan Gilbert
Improve breaks in debug pprinting
committed

November 2021

coqbot-app[bot]
Merge PR #14644: Debugger part 3: display call stack and variable values
committed
Jim Fehrle
Add visual Ltac debugger in CoqIDE supporting breakpoints, highlighting stopping point, step over/out, call stack and variable display
committed

May 2021

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

February 2021

coqbot-app[bot]
Merge PR #13202: Infrastructure for fine-grained debug flags
committed
Maxime Dénès
Infrastructure for fine-grained debug flags
committed