diff options
| author | Quentin Carbonneaux | 2020-05-07 10:43:14 +0200 |
|---|---|---|
| committer | Quentin Carbonneaux | 2020-05-07 10:43:14 +0200 |
| commit | bec12fd4c5126987229716d6ca1fb73be458e903 (patch) | |
| tree | 07bcd8031c9220f9b54c17a2b36f8746511014ca /doc/plugin_tutorial/tuto0/src | |
| parent | 8c2bd9df97972d47554a87c36f5397b514d30cde (diff) | |
Drop some the coqtop output, rephrase a bit
Diffstat (limited to 'doc/plugin_tutorial/tuto0/src')
0 files changed, 0 insertions, 0 deletions