From 43925606d39ad12b5b1019aec61843d947755f31 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Sun, 5 Aug 2018 17:20:11 +0200 Subject: Set the minimal supported version of emacs to 24.3 instead of 24.4 This agrees with the minimal version of GNU Emacs currently tested by Travis CI, as well as with the version packaged in Ubuntu 14.04 LTS Reference: https://github.com/ProofGeneral/PG/issues/368#issuecomment-397561986 --- Makefile.travis | 2 +- doc/PG-adapting.texi | 2 +- doc/ProofGeneral.texi | 2 +- proof-general-pkg.el | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/Makefile.travis b/Makefile.travis index 57efb391..1aa04dc0 100644 --- a/Makefile.travis +++ b/Makefile.travis @@ -1,4 +1,4 @@ -VERSIONS = 24.1 24.2 24.3 24.4 24.5 25.1 25.2 25.3 +VERSIONS = 24.3 24.4 24.5 25.1 25.2 25.3 STABLE_TARGETS = $(addprefix prepare-emacs-,$(VERSIONS)) .PHONY: prepare-emacs-24 prepare-emacs-git $(STABLE_TARGETS) \ diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index 44c40549..86ab21b6 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -52,7 +52,7 @@ @set version 4.4.1~pre -@set emacsversion 24.4 +@set emacsversion 24.3 @set last-update September 2016 @set rcsid $Id$ diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 579ab976..787d299b 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -58,7 +58,7 @@ @c @set version 4.4.1~pre -@set emacsversion 24.4 +@set emacsversion 24.3 @set last-update September 2016 @set rcsid $Id$ diff --git a/proof-general-pkg.el b/proof-general-pkg.el index 489731e9..b14ed1d6 100644 --- a/proof-general-pkg.el +++ b/proof-general-pkg.el @@ -1,2 +1,2 @@ (define-package "proof-general" "4.4.1~pre" "A generic front-end for proof assistants (interactive theorem provers)" - '((emacs "24.4"))) + '((emacs "24.3"))) -- cgit v1.2.3