diff options
| author | aspiwack | 2012-07-04 11:36:44 +0000 |
|---|---|---|
| committer | aspiwack | 2012-07-04 11:36:44 +0000 |
| commit | d153f3da0dc05d829fb3e0c234b555e170d0c074 (patch) | |
| tree | a510902b3ddff5fdaad7fffe9df4f500c4877dcc /doc/RecTutorial/RecTutorial.tex | |
| 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 'doc/RecTutorial/RecTutorial.tex')
0 files changed, 0 insertions, 0 deletions