diff options
| -rw-r--r-- | .github/workflows/test.yml | 5 | ||||
| -rw-r--r-- | README.md | 7 | ||||
| -rw-r--r-- | doc/ProofGeneral.texi | 4 | ||||
| -rw-r--r-- | proof-general-pkg.el | 2 | ||||
| -rw-r--r-- | proof-general.el | 2 |
5 files changed, 14 insertions, 6 deletions
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 74191a97..8bb9f2b8 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -17,15 +17,15 @@ jobs: strategy: matrix: emacs_version: - - 24.3 - - 24.4 - 24.5 + # 24.5 to be removed at End-of-Support of Ubuntu 16.04 LTS (https://wiki.ubuntu.com/Releases) - 25.1 - 25.2 - 25.3 - 26.1 - 26.2 - 26.3 + - 27.1 # at most 20 concurrent jobs per free account # cf. https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#usage-limit max-parallel: 4 @@ -41,6 +41,7 @@ jobs: - run: emacs --version - run: make + # Erik: Extend this with linting? - name: Install makeinfo run: sudo apt-get update -y -q && sudo DEBIAN_FRONTEND=noninteractive apt-get install -y -q --no-install-recommends texinfo - run: make doc.info @@ -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 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 diff --git a/proof-general-pkg.el b/proof-general-pkg.el index 53f33432..7dd7fb6c 100644 --- a/proof-general-pkg.el +++ b/proof-general-pkg.el @@ -1,3 +1,3 @@ (define-package "proof-general" "4.5-git" "A generic front-end for proof assistants (interactive theorem provers)" - '((emacs "24.3"))) + '((emacs "24.5"))) diff --git a/proof-general.el b/proof-general.el index 5b4b6a56..16032906 100644 --- a/proof-general.el +++ b/proof-general.el @@ -11,7 +11,7 @@ ;; Authors: (see the AUTHORS file distributed along the sources) ;; URL: https://proofgeneral.github.io/ -;; Package-Requires: ((emacs "24.3")) +;; Package-Requires: ((emacs "24.5")) ;; Version: 4.5-git ;; This software is free software; you can redistribute it and/or |