diff options
| author | Enrico Tassi | 2016-06-17 16:38:57 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2016-06-17 16:38:57 +0200 |
| commit | 8a701c74a1fd3d05fefe48e6129c59793c5d611c (patch) | |
| tree | 0914d510d583e1afad36ce275e54a00e11d39f7b /mathcomp/ssreflect/plugin | |
| parent | e33a23bbaefea57b486f7ea136ef4d058dbb34e1 (diff) | |
fix parsing (coq trunk goal selector/ltac:)
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions