diff options
| author | Guillaume Melquiond | 2015-10-02 21:32:25 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-10-02 21:32:35 +0200 |
| commit | f41de34bcd48f008cf7d3fae4c7fce925048e606 (patch) | |
| tree | b546003de4dfdd99dbe0865f2cd77e41096cc429 /kernel/nativelambda.ml | |
| parent | beedccef9ddc8633c705d7c5ee2f1bbbb3ec8a47 (diff) | |
Mark the Coq.Compat files for documentation. (Fix bug #4353)
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions