diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-03-17 08:23:34 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-03-17 08:23:34 +0100 |
| commit | dae19c34325b2b98ee0a45ac7908a0c28021ba9e (patch) | |
| tree | e490d5ab864a1baa2457b203d143c60d058a2d77 /grammar/tacextend.mlp | |
| parent | 26583840ecb3209b188669fef4204969817f1e32 (diff) | |
| parent | 4fca4ed3b27a51e01370e500cdce756113556ed2 (diff) | |
Merge PR#442: Allow interactive editing of Coq.Init.Logic
Diffstat (limited to 'grammar/tacextend.mlp')
0 files changed, 0 insertions, 0 deletions