diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2021-04-14 09:54:03 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-14 12:54:03 +0000 |
| commit | 340380462989ff06d08567147bb16d0df9ddb1bc (patch) | |
| tree | c1d52ad3ba03bb8c378d761b8c0619657815b928 /src/prop | |
| parent | aed4c9e04665598dbcccafcc23b026ebef5b5ad2 (diff) | |
[proof-new] Miscellaneous improvements to dot printer (#6342)
Diffstat (limited to 'src/prop')
0 files changed, 0 insertions, 0 deletions