diff options
| author | Pierre-Marie Pédrot | 2018-11-20 14:10:16 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-11-20 14:10:16 +0100 |
| commit | 4735f7d9da506a64c63680c4630e1f32945d24dc (patch) | |
| tree | 881a246330100ee961801e89113d3df48d95b8f3 /dev | |
| parent | 1595aa8045e7076aa51b58f80173dd245303bed6 (diff) | |
| parent | 758041989f29ed960eba8bf7fe0d232d3937db60 (diff) | |
Merge PR #8982: [proof] Provide better control of "open proofs" exceptions.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions