| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-04-15 | Update debugging.md | Jasper Hugunin | |
| This changed in https://github.com/coq/coq/commit/35961a4ff5a5b8c9b9786cbab0abd279263eb655 | |||
| 2017-12-29 | Add instructions for debugging from the command line (and in Windows) | Jim Fehrle | |
| Avoid generating \r characters in generated dev/ocamldebug-coq (affects Windows) | |||
| 2017-12-09 | [lib] Rename Profile to CProfile | Emilio Jesus Gallego Arias | |
| New module introduced in OCaml 4.05 I think, can create problems when linking with the OCaml toplevel for `Drop`. | |||
| 2017-11-13 | Change OCAMLRUNPARAM warning to mention OCaml 4.06 | Paul Steckler | |
| 2017-08-31 | Merge PR #999: For BZ#5688, mention hanging issue in ocamldebug and workaround | Maxime Dénès | |
| 2017-08-29 | Adapt debugging doc to configure/Makefile changes. | Théo Zimmermann | |
| 2017-08-29 | Move debugging to Markdown. | Théo Zimmermann | |
| With a minimal diff (so I'm not putting quotes ` ` around all the code). | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |