diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-11-13 20:28:54 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-11-19 18:52:13 +0100 |
| commit | 36c2559cefb54dc503fea375d15d3224992f6221 (patch) | |
| tree | e2ddfb03636963985b80b6fad97d736679c81d6e /pretyping | |
| parent | 090fffa57b2235f70d4355f5dc85d73fa2634655 (diff) | |
Slightly improving error messages when mismatch with Proof using at Qed time.
Diffstat (limited to 'pretyping')
0 files changed, 0 insertions, 0 deletions