diff options
| author | Emilio Jesus Gallego Arias | 2020-02-17 08:29:19 -0500 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-02-17 10:37:12 -0500 |
| commit | 353c5dcda5f9a67e09ac2e7003c4c2a59268641c (patch) | |
| tree | 4d2862abf0f8cc1e50a99805edede19f5f504565 /interp/notation.mli | |
| parent | cd7323ce0f7648f6db732292c0ded05c480be71f (diff) | |
[coqdep] Tweak changelog after recent PRs.
Diffstat (limited to 'interp/notation.mli')
0 files changed, 0 insertions, 0 deletions