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
