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

[ELPA Syncer]

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

      from  360dc8cf4e test-omit-proofs: add tests for #688 and #687
       new  cc2941fbf2 coq-syntax.el: Fix STATECH booleans (t => the command is 
not state-preserving) (#692)
       new  78a555a12d coq/coq.el: add a tiny bit of documentation (#693)


Summary of changes:
 coq/coq-syntax.el | 45 ++++++++++++++++++++++-----------------------
 coq/coq.el        |  2 ++
 2 files changed, 24 insertions(+), 23 deletions(-)