diff options
| author | Emilio Jesus Gallego Arias | 2020-03-09 06:32:00 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-30 19:05:36 -0400 |
| commit | 5f937b2f8532b2ccf36c62557934cc2c9150005b (patch) | |
| tree | 3c08d6e963654ad191b4b313f989976ed84a5efb /doc/plugin_tutorial/tuto1/src/simple_declare.ml | |
| parent | 5749a2360f9d0d7c8901a1264863339442964ca7 (diff) | |
[proof] Miscellaneous cleanup on proof info handling
After the refactorings proof information is organized in a slightly
different way thus the lower layers don't need to pass info back
anymore.
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_declare.ml')
0 files changed, 0 insertions, 0 deletions