diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-01 22:24:23 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-04-01 22:24:23 -0400 |
| commit | d26097a2854ab38d046ca5df22b1732f6eece0eb (patch) | |
| tree | b2a043de3a2de65e9d867c5bc74d0456ae5ff163 /_CoqProject | |
| parent | 1ded269d58c2566e9fbfd00b296e227703505423 (diff) | |
Add back word hex constant notations
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions