diff options
| author | Théo Zimmermann | 2018-10-02 16:22:27 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-10-02 16:22:27 +0200 |
| commit | 7803262696980e6f2cb1fd4397b91f1098712647 (patch) | |
| tree | 1b85870819e2b75019dda5c5460a885b7d921b14 /printing/proof_diffs.ml | |
| parent | e65d160d5fa4e0b8b5754b0925b0b5a880523bc5 (diff) | |
| parent | 2d31d956fb708add948d0126b7c616375abf6358 (diff) | |
Merge PR #8620: Docs: Missing backquote
Diffstat (limited to 'printing/proof_diffs.ml')
0 files changed, 0 insertions, 0 deletions