diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2018-08-05 18:04:19 +0200 |
---|---|---|
committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2018-08-22 23:42:09 +0200 |
commit | 14d1e38c2be8e1b366c27cd53a35180de7982dc4 (patch) | |
tree | 42cd6aec04d65c1356a70762b3a1944f8bc15aa9 | |
parent | 43925606d39ad12b5b1019aec61843d947755f31 (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-- | CHANGES | 2 | ||||
-rw-r--r-- | Makefile.devel | 4 | ||||
-rw-r--r-- | README.md | 2 | ||||
-rw-r--r-- | doc/PG-adapting.texi | 2 | ||||
-rw-r--r-- | doc/ProofGeneral.texi | 2 | ||||
-rw-r--r-- | etc/ProofGeneral.spec | 2 | ||||
-rw-r--r-- | generic/proof-site.el | 2 | ||||
-rw-r--r-- | proof-general-pkg.el | 3 |
8 files changed, 10 insertions, 9 deletions
@@ -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 @@ -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"))) |