diff options
| author | Théo Zimmermann | 2017-06-09 15:42:50 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2017-06-16 11:21:07 +0200 |
| commit | e4f0651516ee7c8bdfd9832aa3afa74e61f9fa81 (patch) | |
| tree | 4a946a6643fa3a53ca7461000dd040adff16ce40 /API/API.mli | |
| parent | 1d3703be3ab41d016c776bb29d9f5eff0cdb401d (diff) | |
"There are pending proofs" error message now lists the name of the proofs.
This closes https://coq.inria.fr/bugs/show_bug.cgi?id=5275
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions