diff options
| author | Kenji Maillard | 2020-02-14 22:50:57 -0300 |
|---|---|---|
| committer | GitHub | 2020-02-14 22:50:57 -0300 |
| commit | d122f7d5ffd5d3b26153a0ad7b74a669b8dd1c9d (patch) | |
| tree | 240af509938fa310ead19a834e4b92e27d4597bf /kernel/uGraph.ml | |
| parent | 4de476c53d85be4dd266cfe5fd5f2ddec9163a5b (diff) | |
| parent | 57d1564ea923dbf616b4d774924bf5ea9e4628bb (diff) | |
Merge pull request #11605 from ppedrot/ltac2-annotate-match-branch
Annotate Ltac2 match macro variables with their type.
Diffstat (limited to 'kernel/uGraph.ml')
0 files changed, 0 insertions, 0 deletions