[nongnu] elpa/proof-general updated (c3e6c391e7 -> 734bcdb27f)

[ELPA Syncer]

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

      from  c3e6c391e7 Merge pull request #778 from hendriktews/ci-rc
       new  16b70c953c Fix #781 PG does not position to error.
       new  037baeafcb Stripping hardwired command strings from trailing spaces.
       new  067bffa4bb Merge pull request #782 from 
Matafou/fix-no-strip-newlines
       new  05e3dc3ad4 Remove duplicate def. of `coq-looking-at-comment`
       new  39f967e5ef Change _CoqProject separator settings
       new  11dcebe247 Merge pull request #784 from Columbus240/CoqProject
       new  9c8cf89e81 EasyCrypt: add `ecall` keyword
       new  1b89aa3611 Merge pull request #783 from ruipedro16/add-ecall-keyword
       new  c70d0732ca Update Makefile
       new  734bcdb27f Merge pull request #776 from jgarte/jgarte-patch-1


Summary of changes:
 Makefile                        |   2 +-
 ci/coq-tests.el                 |  86 ++++++++++++++++++++---
 ci/test_error_loc_1.v           |   9 +++
 coq/coq-indent.el               |   5 --
 coq/coq-system.el               |   2 +-
 coq/coq.el                      | 150 +++++++++++++++++++++-------------------
 easycrypt/easycrypt-keywords.el |   1 +
 7 files changed, 167 insertions(+), 88 deletions(-)
 create mode 100644 ci/test_error_loc_1.v