[nongnu] elpa/proof-general updated (e0ec3db200 -> 809b01e845)

[ELPA Syncer]

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

      from  e0ec3db200 Merge pull request #808 from hendriktews/comment-tests
       new  9ca691fdab Fix problems with error on the first command of a file.
       new  4cd61e2138 Adding a test for error location at first command.
       new  809b01e845 Merge pull request #816 from Matafou/fix-first-cmd


Summary of changes:
 ci/coq-tests.el             | 42 +++++++++++++++++++++++++++++++++++++++++-
 ci/test_error_loc_fst_cmd.v |  4 ++++
 coq/coq-indent.el           |  3 ++-
 3 files changed, 47 insertions(+), 2 deletions(-)
 create mode 100644 ci/test_error_loc_fst_cmd.v