diff options
| author | Yves Bertot | 2018-05-07 21:03:41 +0200 |
|---|---|---|
| committer | Yves Bertot | 2018-05-07 21:03:41 +0200 |
| commit | bcca8dbc865747a62541c602f28ac8d99f84504d (patch) | |
| tree | aab2bd162ea0eb343d65de8a72a29419e23a1582 /doc/plugin_tutorial/tuto1 | |
| parent | ccd7aa81d1898431dc9c5889e4370a57759664be (diff) | |
adds a copy of the show_proof command
Diffstat (limited to 'doc/plugin_tutorial/tuto1')
0 files changed, 0 insertions, 0 deletions