diff options
| author | Maxime Dénès | 2017-06-19 08:44:00 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-06-19 08:44:00 +0200 |
| commit | 998322deaf0d87ae7f24c12ecacd672941528f78 (patch) | |
| tree | 47ce0c2d896a1e58d45e647f6e3a8f9cd3c40d7d /API/API.mli | |
| parent | 52ab54dc6734319203442f36de4d7ddd4fd999b9 (diff) | |
| parent | e4f0651516ee7c8bdfd9832aa3afa74e61f9fa81 (diff) | |
Merge PR#755: "There are pending proofs" error message now lists the name of the proofs.
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions