diff options
| author | Vincent Laporte | 2018-09-06 16:07:16 +0200 |
|---|---|---|
| committer | Vincent Laporte | 2018-09-06 16:20:43 +0200 |
| commit | af30a9a70221d8dee3b837664d372becbbf71762 (patch) | |
| tree | 331516b38190f27bbb6fe14fe06cf66f13087455 /kernel/nativelambda.ml | |
| parent | 51197c3b8b5a6f30397f0263e2e2f4461519c66e (diff) | |
coqpp: allow DEPRECATED when declaring tactics
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions