diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-03-29 23:53:05 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-03-29 23:53:05 +0200 |
commit | df78cb79c549c7dc02e2f19add28be3600d3565f (patch) | |
tree | ceae3c7d39ca074fe74080b889cd60ebc0846378 /theories/Logic/ClassicalDescription.v | |
parent | f9e0f07d250fd4d468784b80cbb116f6ebfd5de5 (diff) | |
parent | df1d4dc9c3808a811111e4cd9eeda328b51f20de (diff) |
Merge PR#522: [coqide] Protect against size_allocate race in proofview.
Diffstat (limited to 'theories/Logic/ClassicalDescription.v')
0 files changed, 0 insertions, 0 deletions