diff options
| author | Théo Zimmermann | 2019-02-11 22:50:32 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-02-11 22:50:32 +0100 |
| commit | 7f4cba971e8db5a9717f688f906094a458173af7 (patch) | |
| tree | 2f36a399b4ae5e429e0b85c8810061e821f70a21 /engine/proofview.ml | |
| parent | 218db2670903159c9a1e28da7b5caf3d08c59689 (diff) | |
| parent | 377eb7bfa50f8f4990b06df36a08aabd20852b47 (diff) | |
Merge PR #9551: Small typos in the documentation.
Reviewed-by: Zimmi48
Diffstat (limited to 'engine/proofview.ml')
0 files changed, 0 insertions, 0 deletions