aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Erik Martin-Dorel <erik@martin-dorel.org>2018-08-05 18:04:19 +0200
committerGravatar Erik Martin-Dorel <erik@martin-dorel.org>2018-08-22 23:42:09 +0200
commit14d1e38c2be8e1b366c27cd53a35180de7982dc4 (patch)
tree42cd6aec04d65c1356a70762b3a1944f8bc15aa9
parent43925606d39ad12b5b1019aec61843d947755f31 (diff)
Bump version from 4.4.1~pre to 4.5-git
This commit ensures the version number is (version-to-list)-compliant.
-rw-r--r--CHANGES2
-rw-r--r--Makefile.devel4
-rw-r--r--README.md2
-rw-r--r--doc/PG-adapting.texi2
-rw-r--r--doc/ProofGeneral.texi2
-rw-r--r--etc/ProofGeneral.spec2
-rw-r--r--generic/proof-site.el2
-rw-r--r--proof-general-pkg.el3
8 files changed, 10 insertions, 9 deletions
diff --git a/CHANGES b/CHANGES
index e7343e08..02da6c87 100644
--- a/CHANGES
+++ b/CHANGES
@@ -4,7 +4,7 @@ This is a summary of main changes. For details, please see
the Git ChangeLog, the GitHub repo https://github.com/ProofGeneral/PG
and the PG Trac http://proofgeneral.inf.ed.ac.uk/trac
-* Changes of Proof General 4.4.1 from Proof General 4.4
+* Changes of Proof General 4.5 from Proof General 4.4
** Generic changes
diff --git a/Makefile.devel b/Makefile.devel
index b3b9d58d..603a43b4 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -91,8 +91,8 @@ DEVELOPERS=\
# The prereltag.txt is kept as a record in the distrib area
# of the current pre-release version (currently not used explicitly
# anywhere for web pages/whatever).
-PRERELEASE_PREFIX=4\.4\.1~pre
-PRERELEASE_TAG=4.4.1~pre
+PRERELEASE_PREFIX=4\.5-git
+PRERELEASE_TAG=4.5-git
### Formerly: PRERELEASE_TAG=4.4pre$(shell date "+%y%m%d")
PREREL_TAG_FILE=prereltag.txt
diff --git a/README.md b/README.md
index 1a2b8266..d5d99d91 100644
--- a/README.md
+++ b/README.md
@@ -8,7 +8,7 @@ Proof General is a generic Emacs interface for proof assistants.
The aim of the Proof General project is to provide a powerful, generic
environment for using interactive proof assistants.
-This is version 4.4.1~pre of Proof General.
+This is version 4.5-git of Proof General.
## About Proof General branches
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index 86ab21b6..c3ddb837 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -51,7 +51,7 @@
@c @ref{node} without "see". Careful for info.
-@set version 4.4.1~pre
+@set version 4.5-git
@set emacsversion 24.3
@set last-update September 2016
@set rcsid $Id$
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 787d299b..56bf869e 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -57,7 +57,7 @@
@c @ref{node} without "see". Careful for info.
@c
-@set version 4.4.1~pre
+@set version 4.5-git
@set emacsversion 24.3
@set last-update September 2016
@set rcsid $Id$
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index 2a97e19e..f1d006a7 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -1,6 +1,6 @@
Summary: Proof General, Emacs interface for Proof Assistants
Name: ProofGeneral
-Version: 4.4.1~pre
+Version: 4.5-git
Release: 1
Group: Text Editors/Integrated Development Environments (IDE)
License: GPL
diff --git a/generic/proof-site.el b/generic/proof-site.el
index dccc32a9..9900aa5c 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -80,7 +80,7 @@
(eval-and-compile
;; WARNING: do not edit next line (constant is edited in Makefile.devel)
- (defconst proof-general-version "Proof General Version 4.4.1~pre."
+ (defconst proof-general-version "Proof General Version 4.5-git."
"Version string identifying Proof General release."))
(defconst proof-general-short-version
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")))