diff options
| author | Gaëtan Gilbert | 2018-12-19 10:51:04 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-12-19 17:27:44 +0100 |
| commit | 6ff8870f57797f9bf7c340fb6a4b561e521a1325 (patch) | |
| tree | 45379ca41065ad0a2780666dbdcfc1eada836e64 /doc/plugin_tutorial/tuto1/src/simple_print.ml | |
| parent | 2cad4dec40cef2aecb19c5a0e5a1368392be8d88 (diff) | |
Fix #7904: update proofview env after ltac constr:()
(in case of side effects)
Also:
Fix #4781
Fix #4496
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_print.ml')
0 files changed, 0 insertions, 0 deletions