diff options
| author |  aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-07-04 11:36:44 +0000 |
|---|---|---|
| committer | aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-07-04 11:36:44 +0000 |
| commit | d153f3da0dc05d829fb3e0c234b555e170d0c074 (patch) | |
| tree | a510902b3ddff5fdaad7fffe9df4f500c4877dcc /proofs/proof.mli | |
| parent | b7a8ecc6c41a21885bf8dabc71098f8e2267f7da (diff) | |
When focused on an empty list of goal (after finishing a subproof introduced
by a bullet or a brace, for instance), the message "This subproof is complete
[…]" is now rendered before the list of goals.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15507 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'proofs/proof.mli')
0 files changed, 0 insertions, 0 deletions