elpasync pushed a change to branch elpa/proof-general.
from f6df849 Merge pull request #606 from
ProofGeneral/dont-retract-on-indent
new 2361fe8 Fix #597; ProofGeneral cannot step over `Fail` correctly
new 3b765b4 Adding tests for #597.
new 8215623 Merge pull request #607 from
Matafou/fix-#597-Fail-backtrace
new d2d899b Fix #608. PG not auto adapting window width.
new fd04605 Merge pull request #609 from Matafou/fix-#608-width
Summary of changes:
ci/coq-tests.el | 42 +++++++++++++++++++++++++++++++++++++++++-
ci/test_stepwise.v | 16 ++++++++++++++++
coq/coq-syntax.el | 2 +-
coq/coq.el | 47 +++++++++++++++--------------------------------
4 files changed, 73 insertions(+), 34 deletions(-)
