[nongnu] elpa/proof-general updated (1a37480857 -> d30569d8c5)

[ELPA Syncer]

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(-)