diff options
| -rw-r--r-- | Makefile.travis | 2 | ||||
| -rw-r--r-- | doc/PG-adapting.texi | 2 | ||||
| -rw-r--r-- | doc/ProofGeneral.texi | 2 | ||||
| -rw-r--r-- | 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"))) |