diff options
| author | Olivier Laurent | 2020-03-29 18:57:38 +0200 |
|---|---|---|
| committer | Olivier Laurent | 2020-03-30 17:48:37 +0200 |
| commit | e1427c1d803a975784cdb9375dbca9da33c58c6c (patch) | |
| tree | 6e5039e5421fbc64b947984412c4e32be6bb551e /doc/plugin_tutorial/tuto0/_CoqProject | |
| parent | bc500cd96c7142cda5ad6f992c7c656d6499b0c6 (diff) | |
new sig notations and spaces added
Diffstat (limited to 'doc/plugin_tutorial/tuto0/_CoqProject')
0 files changed, 0 insertions, 0 deletions