diff options
| author | Théo Zimmermann | 2019-04-17 08:03:26 -0400 |
|---|---|---|
| committer | Théo Zimmermann | 2019-04-30 16:05:07 +0200 |
| commit | fd864160d128836abf34f07eacc1e085e3f774b0 (patch) | |
| tree | 1d7716819369a6ded3e097aaac833dcf172d8305 /doc/plugin_tutorial/tuto2/_CoqProject | |
| parent | 5610158cf3e256888184d44ae7e09bf626fd6102 (diff) | |
Apply suggestions from code review
Mainly markup fixes by Theo
Co-Authored-By: mattam82 <matthieu.sozeau@inria.fr>
Diffstat (limited to 'doc/plugin_tutorial/tuto2/_CoqProject')
0 files changed, 0 insertions, 0 deletions