diff options
| author | Emilio Jesus Gallego Arias | 2019-06-15 19:58:56 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-06-15 19:58:56 +0200 |
| commit | 9374ff503ad52f185e603da4661ec7e5ce72f4a1 (patch) | |
| tree | 82945046f7a87a31fd2d42cee0b36afa8312901b /interp/implicit_quantifiers.ml | |
| parent | a286c524a57597e6e29f17cdfa8c4af82cbb494c (diff) | |
| parent | bf21ac7831ed2dc830ad66d1d6023e12dbb5dcaf (diff) | |
Merge PR #10040: Install byte version of coqidetop.
Reviewed-by: ejgallego
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions