diff options
| author | Théo Zimmermann | 2020-02-25 10:06:28 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-02-25 10:06:28 +0100 |
| commit | 457ea1b8917844e1b955ce419ce08cd0bdc7ccc5 (patch) | |
| tree | a4bd3a06e7e0f5c7086dfe7c2f8b2ab63cbb69db /engine/proofview.ml | |
| parent | cb428dd8834747f6d5ea97b88bdef5a8f04495b8 (diff) | |
| parent | c322a90bce8bf5fac2fcd492cfb03ba8aa29013e (diff) | |
Merge PR #11675: Make it clear how to import Ltac2
Reviewed-by: Zimmi48
Diffstat (limited to 'engine/proofview.ml')
0 files changed, 0 insertions, 0 deletions