diff options
| author | Gaëtan Gilbert | 2018-12-20 18:34:24 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-12-20 18:38:36 +0100 |
| commit | d139debf0ea444c5dd7b654a5d2c47c2d9bec534 (patch) | |
| tree | c33f39d8ea3a093bac4e98d140336fd49af92e0c /doc/plugin_tutorial/tuto3/src/tuto_tactic.mli | |
| parent | 707c99ce29fdca3c02c0ea573d1bf20490f361f2 (diff) | |
Relicense to Unlicense
This was agreed during the 2018-12-19 Coq Working Group.
See eg https://github.com/coq/coq/pull/8778#issuecomment-448932003
Close #7.
Diffstat (limited to 'doc/plugin_tutorial/tuto3/src/tuto_tactic.mli')
0 files changed, 0 insertions, 0 deletions