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(-)