[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general updated (f6df849 -> fd04605)
|
From: |
ELPA Syncer |
|
Subject: |
[nongnu] elpa/proof-general updated (f6df849 -> fd04605) |
|
Date: |
Wed, 13 Oct 2021 15:57:53 -0400 (EDT) |
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(-)
- [nongnu] elpa/proof-general updated (f6df849 -> fd04605),
ELPA Syncer <=
- [nongnu] elpa/proof-general 2361fe8 1/5: Fix #597; ProofGeneral cannot step over `Fail` correctly, ELPA Syncer, 2021/10/13
- [nongnu] elpa/proof-general d2d899b 2/5: Fix #608. PG not auto adapting window width., ELPA Syncer, 2021/10/13
- [nongnu] elpa/proof-general 8215623 4/5: Merge pull request #607 from Matafou/fix-#597-Fail-backtrace, ELPA Syncer, 2021/10/13
- [nongnu] elpa/proof-general fd04605 5/5: Merge pull request #609 from Matafou/fix-#608-width, ELPA Syncer, 2021/10/13
- [nongnu] elpa/proof-general 3b765b4 3/5: Adding tests for #597., ELPA Syncer, 2021/10/13