diff options
| author | Yves Bertot | 2018-07-18 16:11:43 +0200 |
|---|---|---|
| committer | Yves Bertot | 2018-07-18 16:11:43 +0200 |
| commit | b303b75c18734accc9cd7efe82307b0424426e3f (patch) | |
| tree | b4234ff7003f85840b8fb4c2d0d278f8e2f7a13f /doc/plugin_tutorial/tuto1/src | |
| parent | 368321b268440debac8fba5862201318e35dffcb (diff) | |
the same license as for the coq development
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src')
0 files changed, 0 insertions, 0 deletions