[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general updated (db2280f03a -> 879444ca37)
|
From: |
ELPA Syncer |
|
Subject: |
[nongnu] elpa/proof-general updated (db2280f03a -> 879444ca37) |
|
Date: |
Tue, 28 Nov 2023 13:00:41 -0500 (EST) |
elpasync pushed a change to branch elpa/proof-general.
from db2280f03a Merge pull request #716 from
gasche/silence-line-length-warning
new 11c1a5f3bd Fix a "Bad bounding indices" error on my system
new d2d2e8a8ef make CoqProject parsing failure noticeable
new 879444ca37 Merge pull request #708 from gasche/bad-bounding-indices
Summary of changes:
coq/coq-system.el | 15 ++++++++-------
1 file changed, 8 insertions(+), 7 deletions(-)
- [nongnu] elpa/proof-general updated (db2280f03a -> 879444ca37),
ELPA Syncer <=