diff options
| author | SimonBoulier | 2020-03-12 11:12:48 +0100 |
|---|---|---|
| committer | SimonBoulier | 2020-03-12 11:22:50 +0100 |
| commit | 0626df49c72badbb51d2f31eb7d1b1fee22c2638 (patch) | |
| tree | debcadff0552ccea9915d31b6d64cde107765d76 /printing/proof_diffs.ml | |
| parent | 6251f1b0b453a90c1c2a993c6980c1f40bfb2de7 (diff) | |
Add changelog
Diffstat (limited to 'printing/proof_diffs.ml')
0 files changed, 0 insertions, 0 deletions