diff options
| author | James Lottes | 2020-06-23 01:11:18 -0700 |
|---|---|---|
| committer | James Lottes | 2020-06-23 01:11:18 -0700 |
| commit | a6571b3ef7a13e996fbb07fbf7758aa7b3cc6a65 (patch) | |
| tree | df9ca493d9535f0c4dc4aefa4d1c7ad5739b2386 /printing/printer.ml | |
| parent | 213999187d506394945a4d2163802b504be0c6ac (diff) | |
CoqIDE: fix lexing of UTF-8 in quotations like constr:()
Diffstat (limited to 'printing/printer.ml')
0 files changed, 0 insertions, 0 deletions