diff options
| author | Pierre-Marie Pédrot | 2020-07-10 08:32:40 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-07-18 11:44:58 +0200 |
| commit | 4b4daabe115a0386295f1c2bc025c5ce3bdf0065 (patch) | |
| tree | 826560bbbf1906f5116fe2ea613fed0a44121e70 /plugins | |
| parent | e6d92a9765f84c80f8c6a102fe5480490c747313 (diff) | |
Better location for match! pattern variables in Ltac2.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions