[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general 055be0e 4/5: docs(CHANGES): require GNU Emac
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/proof-general 055be0e 4/5: docs(CHANGES): require GNU Emacs 25.1 or later |
Date: |
Fri, 20 Aug 2021 19:57:31 -0400 (EDT) |
branch: elpa/proof-general
commit 055be0e261ec1536d831b8151569cff42e3474bf
Author: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Commit: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
docs(CHANGES): require GNU Emacs 25.1 or later
---
CHANGES | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/CHANGES b/CHANGES
index da89b3a..56232b3 100644
--- a/CHANGES
+++ b/CHANGES
@@ -8,6 +8,15 @@ and the PG Trac http://proofgeneral.inf.ed.ac.uk/trac
** Generic changes
+*** require GNU Emacs 25.1 or later
+
+The current policy aims at supporting multiple Emacs versions,
+including those available in distributions Debian Stable
+(https://packages.debian.org/stable/emacs) and Ubuntu LTS
+(https://packages.ubuntu.com/emacs), until their End-Of-Support (see
+also https://wiki.ubuntu.com/Releases).
+
+
*** new command and menu item to easily upgrade all packages
- To upgrade all ELPA packages (including ProofGeneral if it was
installed via MELPA), do "M-x proof-upgrade-elpa-packages RET"
- [nongnu] elpa/proof-general updated (e2ee96b -> cc5bfd0), ELPA Syncer, 2021/08/20
- [nongnu] elpa/proof-general 055be0e 4/5: docs(CHANGES): require GNU Emacs 25.1 or later,
ELPA Syncer <=
- [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