diff options
| author | Pierre-Marie Pédrot | 2021-03-10 13:57:38 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2021-03-16 20:02:56 +0100 |
| commit | 2915154835b8d0a90a5c3ca79c37d66142dc9a33 (patch) | |
| tree | b653e3878452bc2a63dd76d7afcfc6760bdf19d7 /plugins/syntax/string_notation.ml | |
| parent | 17b5c56ab72d42f3cf71390e0f9beed360c9777f (diff) | |
Add tests for the new Ltac2 Ind API.
Diffstat (limited to 'plugins/syntax/string_notation.ml')
0 files changed, 0 insertions, 0 deletions