diff options
| author |  Jim Fehrle <jfehrle@sbcglobal.net> | 2017-12-23 13:37:52 -0800 |
|---|---|---|
| committer |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-12-29 15:32:12 +0100 |
| commit | 2aeb740de93a0b32efe71bbd3a129e39bc6439e5 (patch) | |
| tree | 70160ddfb211aeed97d987a2bf1f451811300495 /pretyping/geninterp.mli | |
| parent | dea75d74c222c25f6aa6c38506ac7a51b339e9c6 (diff) | |
Add instructions for debugging from the command line (and in Windows)
Avoid generating \r characters in generated dev/ocamldebug-coq (affects Windows)
Diffstat (limited to 'pretyping/geninterp.mli')
0 files changed, 0 insertions, 0 deletions