From 3b93f2e1149ebd13e97d6fd4954269c07fe210bd Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Thu, 25 Feb 2021 16:24:00 +0100
Subject: test: Add Emacs 27.1 & Remove Emacs 24.3, 24.4 CI tests

* Document (in README.md) the proposed policy: supporting Emacsen from
  the versions packaged in Debian Stable / Ubuntu LTS until their EOS.
---
 doc/ProofGeneral.texi | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index d3ca8f9e..beb5cc9f 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -58,8 +58,8 @@
 @c
 
 @set version 4.5-git
-@set emacsversion 24.3
-@set last-update September 2016
+@set emacsversion 24.5
+@set last-update February 2021
 @set rcsid $Id$
 
 @dircategory Theorem proving
-- 
cgit v1.2.3