diff options
| author | Tej Chajed | 2020-03-30 09:00:26 -0500 |
|---|---|---|
| committer | Tej Chajed | 2020-04-02 08:28:04 -0500 |
| commit | e4e34b98fde31d813ac583f806fc3b95e3cf6059 (patch) | |
| tree | 2256dccb2a42527f41877a29df29e75e620fff47 /pgshell | |
| parent | 9196749d55413224355409d55003f7f8c8ba0f79 (diff) | |
Add support for core Ltac2 syntax
- Ltac2 definitions, types, and notation
- Ltac2 queries
- ltac1:(...) and ltac2:(...) antiquotations
Closes #473.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions