diff options
| author | Brian Campbell | 2018-08-01 14:26:12 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-08-01 14:26:12 +0100 |
| commit | f1ec636b83611f9d69e2a4d6ce34413399b73823 (patch) | |
| tree | ff18eee0afbd818f120ea5d9e1efd047aa6ed776 /language | |
| parent | 63ce7e5fbc3ea28b6f2824f8c54c4049341097a4 (diff) | |
Coq: implicit range conversions for function arguments, debug tracing
The new option -dcoq_debug_on takes a list of functions to output tracing
on.
Diffstat (limited to 'language')
0 files changed, 0 insertions, 0 deletions