diff options
| author |  Erik Martin-Dorel <erik@martin-dorel.org> | 2016-09-19 18:27:16 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2016-09-19 18:27:16 +0200 |
| commit | 5d7c77ae029de273724248105f416d57983631b2 (patch) | |
| tree | 3cfe1ae7c6f1e28fb026a4693eeb7edd5423b925 | |
| parent | 771cab48b2f9ea2ae3fa8f944d0e36a805bf9f3b (diff) | |
Bump version number for next release cycle.
| -rw-r--r-- | Makefile.devel | 5 | ||||
| -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 |
6 files changed, 8 insertions, 7 deletions
diff --git a/Makefile.devel b/Makefile.devel index 64d5b53c..39accdc8 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -91,8 +91,9 @@ 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\.4pre -PRERELEASE_TAG=4.4pre$(shell date "+%y%m%d") +PRERELEASE_PREFIX=4\.4\.1~pre +PRERELEASE_TAG=4.4.1~pre +### Formerly: PRERELEASE_TAG=4.4pre$(shell date "+%y%m%d") PREREL_TAG_FILE=prereltag.txt # Path to web pages in repository, used for automatically @@ -6,7 +6,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 of Proof General. +This is version 4.4.1~pre of Proof General. ## Setup diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index ad6ac316..cf88d683 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 +@set version 4.4.1~pre @set emacsversion 24.4 @set last-update September 2016 @set rcsid $Id$ diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index ed1ac604..147e2ae9 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 +@set version 4.4.1~pre @set emacsversion 24.4 @set last-update September 2016 @set rcsid $Id$ diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec index 4679d77a..2a97e19e 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 +Version: 4.4.1~pre Release: 1 Group: Text Editors/Integrated Development Environments (IDE) License: GPL diff --git a/generic/proof-site.el b/generic/proof-site.el index f2c9dafe..c2f9f480 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -72,7 +72,7 @@ (eval-and-compile ;; WARNING: do not edit next line (constant is edited in Makefile.devel) - (defconst proof-general-version "Proof General Version 4.4pre." + (defconst proof-general-version "Proof General Version 4.4.1~pre." "Version string identifying Proof General release.")) (defconst proof-general-short-version |