diff options
| author | Pierre-Marie Pédrot | 2018-12-22 15:25:12 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-12-22 15:25:12 +0100 |
| commit | 037c9bc18d34de831997278e31511ddcee6a1426 (patch) | |
| tree | e36c18d28af98972d8d023b038f43e0770adc5f1 /doc/plugin_tutorial/tuto1/src/simple_check.mli | |
| parent | 6c8d47b07b4f0ec59169ac207b204d2bf2116f3a (diff) | |
| parent | 6ff8870f57797f9bf7c340fb6a4b561e521a1325 (diff) | |
Merge PR #9248: Fix #7904: update proofview env after ltac constr:()
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_check.mli')
0 files changed, 0 insertions, 0 deletions