diff options
| author | Hugo Herbelin | 2020-04-11 00:03:38 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-04-15 19:45:39 +0200 |
| commit | 1b344958231af8fadfd2b45316f27e8626bae4b6 (patch) | |
| tree | 1e335c36bd38ed7d27793c2e822108ec077744e9 /kernel/nativelambda.ml | |
| parent | 3f2742b2c3fd48706d4bfd8bffdd4ae07a338bbd (diff) | |
Adding change log for PR #12033 (hyperlinks on binders for coqdoc).
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions