diff options
| author | Jason Gross | 2015-11-10 13:06:31 -0500 |
|---|---|---|
| committer | Jason Gross | 2016-01-12 14:33:47 -0500 |
| commit | 8a049d8a6fa785190ac66f2840f27699f13efd89 (patch) | |
| tree | 2e64fb0675062a79770624a293b3263ac70bde4c /plugins/syntax | |
| parent | 51b2581d027528c8e4a347f157baf51a71b9d613 (diff) | |
Update Coq84.v
Any compatibility changes to make future versions of Coq behave like Coq 8.5 are likely needed to make them behave like Coq 8.4.
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions