diff options
| author | Matej Kosik | 2016-09-23 15:12:23 +0200 |
|---|---|---|
| committer | Matej Kosik | 2016-09-23 15:12:23 +0200 |
| commit | 489d80b737ee5f3a2f936abbf2d9bd441d4ef124 (patch) | |
| tree | b13f2021391211dc716f48a0122d18a5433ee6cf /mathcomp/ssreflect/plugin/v8.4 | |
| parent | d3a954f8910a46664d0cf3ad30e94e555392c2e6 (diff) | |
FIX: compilation wrt. commit 9c35248 on Coq trunk branch.
Diffstat (limited to 'mathcomp/ssreflect/plugin/v8.4')
0 files changed, 0 insertions, 0 deletions