diff options
| author | Enrico Tassi | 2014-03-19 10:11:22 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-03-26 14:07:36 +0100 |
| commit | 545ab8b8439366877b3b40b49c483b9b61c85298 (patch) | |
| tree | 92b22325e42d5bbe7bbf2f0e70995e103594c022 /dev/include | |
| parent | a59b49b7fe5f41e092609a464ba1df6fba53911f (diff) | |
CoqIDE: better error reporting for Qed on incomplete proof
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions