diff options
| author | Erik Martin-Dorel | 2020-04-10 11:49:27 +0200 |
|---|---|---|
| committer | GitHub | 2020-04-10 11:49:27 +0200 |
| commit | e85e58415f6849b5dd692908cc2ea85d409f9354 (patch) | |
| tree | e83fe639d71578ec3dfd4c08d74cf9566ffe2342 /CHANGES | |
| parent | 4dba3f78e50604d899ef80bfda45c5aa4467adeb (diff) | |
| parent | 8b9c985c4efdb4579338bbae28a651974e31419c (diff) | |
Merge pull request #480 from CyrilAnac/master
feat(coq-insert-intros): Conditionally insert `move=>` or `intros`
Diffstat (limited to 'CHANGES')
0 files changed, 0 insertions, 0 deletions