diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2011-01-28 09:57:54 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2011-01-28 09:57:54 +0000 |
commit | f14fbab4ea3497aa51f2e44fe77a359e9b77eb24 (patch) | |
tree | 7b3d9ded47c627dab40ae3063db3238a1fd32ba3 /doc | |
parent | 6590017aedb5ce046d952fa5a1b9dab1f5bf364d (diff) |
Clean coq goals buffer when backing to a non-proof state, otherwise
the old goal was still displayed (and therefore the old number of
goals too). Fixes trac #386.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions