diff options
| author | Hugo Herbelin | 2014-12-05 14:13:01 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2014-12-05 17:55:32 +0100 |
| commit | 8bf7221667dc2868027ed1080b3b70fd66144309 (patch) | |
| tree | 16be9e4ff0947b1c2232ad52676e6a6e767faa71 /dev | |
| parent | 11919074c08a64e78e5a5581d744332a093850f0 (diff) | |
Commits on evar-evar unification fixed HoTT_coq_106 and improved the
status of #3278 (more precisely, it fixed a bug visible in the #3278
report, but a bug which arrived after #3278 was submitted).
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions