diff options
| author | Maxime Dénès <mail@maximedenes.fr> | 2016-12-21 01:22:46 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-01-09 15:31:17 +0100 |
| commit | 88bf09d3673dbda96c216a3e037d503a9664795e (patch) | |
| tree | 46765f1179a32624794ef8c72ff2f78ea2a71f4c /test | |
| parent | 2ba24b0fcbda5b2478baa151eab10397ab0b55ce (diff) | |
| download | compcert-88bf09d3673dbda96c216a3e037d503a9664795e.tar.gz compcert-88bf09d3673dbda96c216a3e037d503a9664795e.zip | |
Some backward compatible Ltac fixes, necessary for 8.6.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions