coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of dev/doc/debugging.md

July 2025

coqbot-app[bot]
Merge PR #20881: Remove dev/shim
committed
Gaëtan Gilbert
Remove dev/shim
committed

January 2025

coqbot-app[bot]
Merge PR #20026: Rename Coq -> Rocq in various comments and doc
committed
Pierre Roux
Rename Coq -> Rocq in various comments and doc
committed

June 2024

coqbot-app[bot]
Merge PR #19176: [lib] Remove dead CProfile code.
committed
Emilio Jesus Gallego Arias
[lib] Remove dead CProfile code.
committed

April 2024

coqbot-app[bot]
Merge PR #18771: Improve handling of Drop
committed
Anton Danilkin
Add a custom OCaml toplevel directory `#go` which does the same action as `go ()`, but with a more native syntax
committed
Anton Danilkin
Improve handling of Drop
committed

September 2021

coqbot-app[bot]
Merge PR #14659: Update debugging docs a bit
committed
Gaëtan Gilbert
Update ocamldebug instructions
committed

April 2018

Hugo Herbelin
Merge PR #7290: Update debugging.md
committed
Jasper Hugunin
Update debugging.md
committed

January 2018

Maxime Dénès
Merge PR #6501: Document use of ocamldebug from the command line in Cygwin/Windows
committed

December 2017

Jim Fehrle
Add instructions for debugging from the command line (and in Windows)
committed
Maxime Dénès
Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.
committed
Emilio Jesus Gallego Arias
[lib] Rename Profile to CProfile
committed

November 2017

Maxime Dénès
Merge PR #6147: Change OCAMLRUNPARAM warning to mention OCaml 4.06
committed
Paul Steckler
Change OCAMLRUNPARAM warning to mention OCaml 4.06
committed

August 2017

Maxime Dénès
Merge PR #999: For BZ#5688, mention hanging issue in ocamldebug and workaround
committed
Maxime Dénès
Merge PR #967: Update debugging
committed
Théo Zimmermann
Adapt debugging doc to configure/Makefile changes.
committed
Théo Zimmermann
Move debugging to Markdown.
committed