elpasync pushed a change to branch elpa/proof-general.
from b82c21961f2 Fixing doc magic.
new 1024beb7a1f Second attempt of fixing elpi syntax + 1 test.
new 74ba7fc6de7 Merge branch 'master' into fix-elpi-parsing
new d60382db080 Merge pull request #847 from Matafou/fix-elpi-parsing
Summary of changes:
ci/coq-tests.el | 18 ++++++++
ci/test_command_parsing.v | 27 +++++++++++
coq/coq-indent.el | 113 +++++++++++++++++++++-------------------------
coq/coq.el | 7 +--
4 files changed, 98 insertions(+), 67 deletions(-)
create mode 100644 ci/test_command_parsing.v
