elpasync pushed a change to branch elpa/proof-general.
from 2b1fe31698 Merge pull request #827 from hendriktews/response-test
new faeaf21f2f coq: run silently and explicitly Show when necessary
new f87fdda64a clear goals buffer after Qed and Admitted when running
silent
new 1e57bba98c add option to disable silent and switch back to old
(buggy) behavior
new 41d0e20eb5 fix prooftree for Coq/Rocq running completely silent
new f5d929ec44 Merge pull request #762 from hendriktews/silent-2
Summary of changes:
CHANGES | 5 +
ci/coq-tests.el | 16 +++
ci/simple-tests/coq-test-goals-present.el | 13 +-
coq/coq.el | 227 +++++++++++++++++++++++++-----
doc/PG-adapting.texi | 71 ++++++----
generic/pg-goals.el | 17 ++-
generic/proof-shell.el | 87 ++++++++----
generic/proof-tree.el | 164 ++++++++++++++++-----
8 files changed, 459 insertions(+), 141 deletions(-)
