diff options
| author | Enrico Tassi | 2016-02-22 17:35:13 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2016-02-22 17:35:13 +0100 |
| commit | 28a6d6e38df4211cd386a29c2e6e30a6426ade59 (patch) | |
| tree | 3da05cbec39d2c9aff87377825fe5f93996cc155 /mathcomp/Make | |
| parent | c4e6aa42306a4eed85fc09f3164a911e75e177f0 (diff) | |
rewrite: matching do not instantiate goal evars
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions