diff options
| author | Gaetan Gilbert | 2017-04-17 14:30:14 +0200 |
|---|---|---|
| committer | Gaetan Gilbert | 2017-04-17 14:30:14 +0200 |
| commit | abf8a848e24e8cd5747be801ae940c3503cf02c0 (patch) | |
| tree | 9b602cbabecd670d312809ff12ea3ae2f171b250 /mathcomp/Make | |
| parent | 954284b661a7e8e01195c92388ae053108222cee (diff) | |
Coq PR #565: G_vernac.subgoal_command is replaced by query_command
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions