[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general updated (a61a1d8e5f -> df19c7ba0e)
|
From: |
ELPA Syncer |
|
Subject: |
[nongnu] elpa/proof-general updated (a61a1d8e5f -> df19c7ba0e) |
|
Date: |
Wed, 9 Feb 2022 13:05:14 -0500 (EST) |
elpasync pushed a change to branch elpa/proof-general.
from a61a1d8e5f Remove some web links for services facing imminent
shutdown.
new 72d7066e46 fix: version number parsing on some confused Windows
installations (#638)
new f6dd91b893 docs: Remove obsolete mention of GPLv2 in README.md
new 6d948bcb9f docs: Mention the Zulip chat of Coq
new df19c7ba0e Merge pull request #630 from ProofGeneral/update-readme
Summary of changes:
README.md | 12 ++++++------
coq/coq-system.el | 2 +-
2 files changed, 7 insertions(+), 7 deletions(-)
- [nongnu] elpa/proof-general updated (a61a1d8e5f -> df19c7ba0e),
ELPA Syncer <=