diff options
| author | coqbot-app[bot] | 2020-11-12 15:53:52 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-12 15:53:52 +0000 |
| commit | dedf3f475719c7d5d4afff1977294cf432e53ec2 (patch) | |
| tree | 84be53bb3d633eb528583781ebaeb92aedb9c46c /kernel/cClosure.ml | |
| parent | 8246730c48679cef0b2663ede7a37b73cbc1457a (diff) | |
| parent | c470b92b8d61fc52b1d7e8697efd36a75ddec9d1 (diff) | |
Merge PR #13318: Turn ssr proxy notation for supporting second-order/contextual pattern abbreviations to only parsing
Reviewed-by: gares
Diffstat (limited to 'kernel/cClosure.ml')
0 files changed, 0 insertions, 0 deletions