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

Reply via email to