diff options
| author | Hugo Herbelin | 2017-05-12 19:33:52 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2017-05-31 02:08:42 +0200 |
| commit | 13458380eaef14078bb5805db3d8027bc76adeba (patch) | |
| tree | 2fa831362345e31cadc961a80e4697d3f35b2cb8 /mathcomp/Make | |
| parent | c05bfbee9a753b8867bc6ea5847cb7dd696a0cbd (diff) | |
Adapting to PR #590 (a more explicit algebraic type for evars of kind MatchingVar).
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions