diff options
| author | Clément Pit-Claudel | 2020-02-24 20:14:00 +0000 |
|---|---|---|
| committer | GitHub | 2020-02-24 20:14:00 +0000 |
| commit | c322a90bce8bf5fac2fcd492cfb03ba8aa29013e (patch) | |
| tree | 3ebe0e5130ac8de3a0c0a69756c2959a4bd33642 /engine/proofview.ml | |
| parent | da984ceafbb450dc5a9fe8f8971d8c90a060f233 (diff) | |
Make it clear how to import Ltac2
Diffstat (limited to 'engine/proofview.ml')
0 files changed, 0 insertions, 0 deletions