Merge pull request #553 from ProofGeneral/test-emacsen

test: Add Emacs 27.1 in CI & Bump the minimal-required version of Emacs (24.5 for now)

1 files changed, 7 insertions, 0 deletions

diff --git a/README.md b/README.md
index 605362ce..0a78ab93 100644
--- a/README.md
+++ b/README.md
@@ -27,6 +27,13 @@ Two editions of Proof General are currently available:
 
 ## Installing Proof General
 
+Proof General requires GNU Emacs `24.5` or later.
+
+The current policy aims at supporting multiple Emacs versions,
+including those available in [Debian Stable](https://packages.debian.org/stable/emacs)
+as well as in [Ubuntu LTS](https://packages.ubuntu.com/emacs24) distributions
+until their [End-Of-Support](https://wiki.ubuntu.com/Releases).
+
 ### Using MELPA (recommended procedure)
 
 [MELPA](https://melpa.org/) is a repository of Emacs packages. Skip