diff options
| author | Vincent Laporte | 2019-08-20 09:49:16 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-08-26 12:04:53 +0000 |
| commit | 979991789a4adec7d55322b1e997911b0f6fae81 (patch) | |
| tree | 5baa2f26bd536455d3328450c9eb468408b31321 /doc/plugin_tutorial | |
| parent | 0c6726655ee0ec06a40240cca44202d584506c9c (diff) | |
Tauto: use Coqlib to locate “not” and “NNPP”
Diffstat (limited to 'doc/plugin_tutorial')
0 files changed, 0 insertions, 0 deletions