[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general updated (e2ee96b -> cc5bfd0)
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/proof-general updated (e2ee96b -> cc5bfd0) |
Date: |
Fri, 20 Aug 2021 19:57:30 -0400 (EDT) |
elpasync pushed a change to branch elpa/proof-general.
from e2ee96b * Makefile (BYTECOMP): Add the root dir to match to ELPA
setup
new 890bebc fix: Remove duplicate (require 'coq-syntax)
new e7b1215 [CI] Add integration test with Coq 8.12, 8.13
new d1caa47 chore!: Bump the minimal required version of emacs from
24.5
new 055be0e docs(CHANGES): require GNU Emacs 25.1 or later
new cc5bfd0 Merge pull request #506 from ProofGeneral/fix-details
Summary of changes:
.github/workflows/test.yml | 4 ++--
CHANGES | 9 +++++++++
COMPATIBILITY | 20 ++++++--------------
README.md | 2 +-
coq/coq.el | 2 --
doc/ProofGeneral.texi | 2 +-
proof-general-pkg.el | 2 +-
proof-general.el | 2 +-
8 files changed, 21 insertions(+), 22 deletions(-)
- [nongnu] elpa/proof-general updated (e2ee96b -> cc5bfd0),
ELPA Syncer <=
- [nongnu] elpa/proof-general 055be0e 4/5: docs(CHANGES): require GNU Emacs 25.1 or later, ELPA Syncer, 2021/08/20
- [nongnu] elpa/proof-general 890bebc 1/5: fix: Remove duplicate (require 'coq-syntax), ELPA Syncer, 2021/08/20
- [nongnu] elpa/proof-general cc5bfd0 5/5: Merge pull request #506 from ProofGeneral/fix-details, ELPA Syncer, 2021/08/20
- [nongnu] elpa/proof-general d1caa47 3/5: chore!: Bump the minimal required version of emacs from 24.5, ELPA Syncer, 2021/08/20
- [nongnu] elpa/proof-general e7b1215 2/5: [CI] Add integration test with Coq 8.12, 8.13, ELPA Syncer, 2021/08/20