diff options
| author | Pierre-Marie Pédrot | 2020-03-02 16:29:51 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-05-11 13:24:50 +0200 |
| commit | ead129a76cb3ceb656b60556bf10f38c667ce45a (patch) | |
| tree | a16633b2a9bb11c0b35a5fc07b4ae288deece873 /doc/plugin_tutorial | |
| parent | 457cee4345ab4ad6b6624a6886841fd0b0739b2a (diff) | |
Generalize the Ltac2 value criterion to pure let-bindings.
Diffstat (limited to 'doc/plugin_tutorial')
0 files changed, 0 insertions, 0 deletions