diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-01-06 11:50:47 +0100 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-01-06 11:50:47 +0100 |
| commit | 5eff32433b3ae47d36f6acab87e7af0d273946d6 (patch) | |
| tree | 962bb32f9f1e1611715eddb5ca5149559d85ce91 /TAGS | |
| parent | 1e3c5b68a6fa43d9997c5bbf9ac7ace865ed15b7 (diff) | |
Fixing #20. #19 fixed by a commit in coq-8.5.
Diffstat (limited to 'TAGS')
0 files changed, 0 insertions, 0 deletions