elpasync pushed a change to branch elpa/proof-general.
from b9fdbbf0b5 Merge pull request #768 from Matafou/splash-time
new 0b92513624 omit-proofs tests: add new test for bullets and braces
new 1226b6b32b omit-proofs: also omit proofs with bullets and braces
new 71c807ced2 proof-stat: admitted proofs should count as failing
new 0e0170f96f proof-stat: admitted proofs count as failing
Summary of changes:
ci/simple-tests/coq-test-omit-proofs.el | 49 +++++++++++++++++++++++---------
ci/simple-tests/coq-test-proof-stat.el | 6 ++--
ci/simple-tests/omit_test.v | 24 +++++++++++++---
ci/simple-tests/proof_stat.human.exp-out | 3 +-
ci/simple-tests/proof_stat.tap.exp-out | 3 +-
ci/simple-tests/proof_stat.v | 4 +++
coq/coq-syntax.el | 16 +++++++++++
coq/coq.el | 12 +++++---
doc/PG-adapting.texi | 20 +++++++++++--
doc/ProofGeneral.texi | 20 +++++++------
generic/pg-user.el | 21 +++++++++++---
generic/proof-config.el | 11 +++++++
12 files changed, 148 insertions(+), 41 deletions(-)
