diff options
| author | Emilio Jesus Gallego Arias | 2020-04-05 17:18:39 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-04-05 17:18:39 -0400 |
| commit | 28c031158cee24faf782a7192032e29229aee4d4 (patch) | |
| tree | 52492d5b4de6c5849c6729e6f19689097d394bbb /kernel/constr.mli | |
| parent | c5c8ce135606f311834d4c0b9ac3e72be5ee4a36 (diff) | |
| parent | 825f001fc03f94ee8076a33e34312f5d4a76eafb (diff) | |
Merge PR #12025: Fixes #11194 (Canonical/Coercion not located for coqdoc)
Reviewed-by: ejgallego
Diffstat (limited to 'kernel/constr.mli')
0 files changed, 0 insertions, 0 deletions