diff options
| author | Brian Campbell | 2018-06-18 17:13:42 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-06-18 17:26:22 +0100 |
| commit | dbe88c8a54ad7aec225779da639bb1f4237bb0cf (patch) | |
| tree | 4a35bbd39ddb6c53c909a6ba8cd4fd614d182c9e /src/reporting_basic.ml | |
| parent | c051baf0d05795e933a7303d8c28d8c936a00c32 (diff) | |
Coq: better handling of identifiers, esp infix ones
Diffstat (limited to 'src/reporting_basic.ml')
0 files changed, 0 insertions, 0 deletions