diff options
| author | Pierre-Marie Pédrot | 2019-02-13 10:41:11 +0100 |
|---|---|---|
| committer | GitHub | 2019-02-13 10:41:11 +0100 |
| commit | 30eaa6490f1b3d6f66f397e82a8126d0ff197f4f (patch) | |
| tree | 99f3a46374bdecb25f16bd1109f6d8e690071841 /kernel/nativecode.mli | |
| parent | 2216604fb42a4fe2013e25d95e0c6a5f715db287 (diff) | |
| parent | 67cff8c545a25e7fa1a29b08d41fc64a7278508b (diff) | |
Merge pull request coq/ltac2#92 from ejgallego/proofview+proof_info
[coq] Adapt to coq/coq#9173
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions