diff options
| author | Gaëtan Gilbert | 2019-08-19 14:48:53 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-08-19 14:48:53 +0200 |
| commit | 7f9a08b98b1637291dda687fce92198a21ffc395 (patch) | |
| tree | 317f8729c70b1bf9d21b222efeaf0728f351ae74 /interp/implicit_quantifiers.ml | |
| parent | 354ac6a0c59f77d8a7d63c84144c044fe958fa3c (diff) | |
| parent | f10cc5bbadf94210cc2ddc3835cc09228d71bde7 (diff) | |
Merge PR #10454: [vernac] Refactor control attributes and fix bug #10452
Reviewed-by: SkySkimmer
Reviewed-by: gares
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions