diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-11-21 09:19:24 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-11-21 09:19:24 +0100 |
| commit | d0c42fea9edfef645a822e9f12d475c205f93932 (patch) | |
| tree | 566d6a23269c7c1526aca23d9d99f1007dd2714c /engine/proofview.ml | |
| parent | 2a857da2a88855a6c9f0fa7e48a8700c1613e0c7 (diff) | |
| parent | a83c37de529f12348cd9e3a66a38c58b72777478 (diff) | |
Merge PR #6113: Extra work on ltac printing: fixing #5787, some parentheses
Diffstat (limited to 'engine/proofview.ml')
0 files changed, 0 insertions, 0 deletions