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 /configure | |
parent | 26583840ecb3209b188669fef4204969817f1e32 (diff) | |
parent | 4fca4ed3b27a51e01370e500cdce756113556ed2 (diff) |
Merge PR#442: Allow interactive editing of Coq.Init.Logic
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions