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
---
 proof-general-pkg.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'proof-general-pkg.el')

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


From 14d1e38c2be8e1b366c27cd53a35180de7982dc4 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Sun, 5 Aug 2018 18:04:19 +0200
Subject: Bump version from 4.4.1~pre to 4.5-git

This commit ensures the version number is (version-to-list)-compliant.
---
 proof-general-pkg.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'proof-general-pkg.el')

diff --git a/proof-general-pkg.el b/proof-general-pkg.el
index b14ed1d6..53f33432 100644
--- a/proof-general-pkg.el
+++ b/proof-general-pkg.el
@@ -1,2 +1,3 @@
-(define-package "proof-general" "4.4.1~pre" "A generic front-end for proof assistants (interactive theorem provers)"
+(define-package "proof-general" "4.5-git"
+  "A generic front-end for proof assistants (interactive theorem provers)"
   '((emacs "24.3")))
-- 
cgit v1.2.3