diff options
| author | Gaëtan Gilbert | 2019-02-07 12:27:18 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-02-18 21:23:54 +0100 |
| commit | 6e09823bf1e2a93f2d726e6b100322740a5d52e7 (patch) | |
| tree | bfb691a9fa5a818c640a6dbfb8a93a9b6c2863fa /doc/plugin_tutorial/tuto1 | |
| parent | 7c62153610f54a96cdded0455af0fff7ff91a53a (diff) | |
Fix failing coqtops in type-classes.rst
Diffstat (limited to 'doc/plugin_tutorial/tuto1')
0 files changed, 0 insertions, 0 deletions