diff options
author | 2017-03-17 08:23:34 +0100 | |
---|---|---|
committer | 2017-03-17 08:23:34 +0100 | |
commit | dae19c34325b2b98ee0a45ac7908a0c28021ba9e (patch) | |
tree | e490d5ab864a1baa2457b203d143c60d058a2d77 /ide/wg_Find.ml | |
parent | 26583840ecb3209b188669fef4204969817f1e32 (diff) | |
parent | 4fca4ed3b27a51e01370e500cdce756113556ed2 (diff) |
Merge PR#442: Allow interactive editing of Coq.Init.Logic
Diffstat (limited to 'ide/wg_Find.ml')
0 files changed, 0 insertions, 0 deletions