[nongnu] elpa/proof-general updated (bf43cfb39a -> 360dc8cf4e)

[ELPA Syncer]

elpasync pushed a change to branch elpa/proof-general.

      from  bf43cfb39a Add Coq tactic "native_compute" (#680)
       new  4a4a5cc8f4 proof-script,test-omit-proofs: style and documentation 
improvements
       new  360dc8cf4e test-omit-proofs: add tests for #688 and #687


Summary of changes:
 ci/simple-tests/omit_test.v         | 38 +++++++++++++++++++++++++
 ci/simple-tests/test-omit-proofs.el | 56 +++++++++++++++++++++++++++++++++++--
 generic/proof-script.el             | 30 +++++++++++++++-----
 3 files changed, 115 insertions(+), 9 deletions(-)