diff options
| author | Kazuhiko Sakaguchi | 2019-10-31 13:13:06 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2019-12-11 14:26:52 +0100 |
| commit | 050ad8395fb250e9396b7a376a75c523567e177c (patch) | |
| tree | 8332ba67fec2169b6b34b7b6978496823c33407c /mathcomp/_CoqProject | |
| parent | 696cd421b27ff2bee821c053c3c3d5926e9d68d3 (diff) | |
Fix notation modifiers and scopes
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions