elpasync pushed a change to branch elpa/proof-general.
from 1a37480857 coq: clear goals buffer after admitted
new b494b8ee5b CI test-goals-present: two more tests for resetting the
goals buffer
new b777d3bf70 CI: extend goals present tests to check for errors if
applicable
new d30569d8c5 CI: extend goals present tests with Search and Check
commdands
Summary of changes:
ci/simple-tests/coq-test-goals-present.el | 279 +++++++++++++++++++++++-------
1 file changed, 220 insertions(+), 59 deletions(-)
