[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general c366365aad 4/4: chore: Prepare the 4.5 relea
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/proof-general c366365aad 4/4: chore: Prepare the 4.5 release |
Date: |
Wed, 13 Jul 2022 12:59:04 -0400 (EDT) |
branch: elpa/proof-general
commit c366365aaddeb3a65dc0816c8f93ec209dc9de44
Author: Erik Martin-Dorel <erik@martin-dorel.org>
Commit: Erik Martin-Dorel <erik@martin-dorel.org>
chore: Prepare the 4.5 release
---
README.md | 2 +-
doc/PG-adapting.texi | 4 ++--
doc/ProofGeneral.texi | 12 +++++++++---
etc/ProofGeneral.spec | 2 +-
generic/proof-site.el | 4 ++--
proof-general.el | 4 ++--
6 files changed, 17 insertions(+), 11 deletions(-)
diff --git a/README.md b/README.md
index 3b44fb1c08..6bb736eceb 100644
--- a/README.md
+++ b/README.md
@@ -9,7 +9,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.5-git of Proof General.
+This is version 4.5 of Proof General.
## About Proof General branches
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index ae36a00f72..b0f5d06c49 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -51,9 +51,9 @@
@c @ref{node} without "see". Careful for info.
-@set version 4.5-git
+@set version 4.5
@set emacsversion 24.3
-@set last-update September 2016
+@set last-update July 2022
@set rcsid $Id$
@dircategory Theorem proving
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index bb51dbb55b..e8f143a19f 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -57,9 +57,9 @@
@c @ref{node} without "see". Careful for info.
@c
-@set version 4.5-git
-@set emacsversion 25.1
-@set last-update February 2021
+@set version 4.5
+@set emacsversion 25.2
+@set last-update July 2022
@set rcsid $Id$
@dircategory Theorem proving
@@ -208,6 +208,12 @@ other documentation, system downloads, etc.
Proof-General is now distributed under the GPLv3+ license.
+This release contains several bugfixes and many new features (see the
+CHANGES file or the Git changelog for more details).
+
+The support of the following systems have been added: EasyCrypt,
+qrhl-tool.
+
The old code for the support of the following systems have been
removed: Twelf, CCC, Lego, Hol-Light, ACL2, Plastic, Lambda-Clam,
Isabelle, HOL98.
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index 0055ef5764..5c65e53ce7 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.5-git
+Version: 4.5
Release: 1
Group: Text Editors/Integrated Development Environments (IDE)
License: GPLv3+
diff --git a/generic/proof-site.el b/generic/proof-site.el
index 85819882e3..969ba165f1 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -68,7 +68,7 @@
(eval-and-compile
;; WARNING: do not edit next line (constant is edited in Makefile.devel)
- (defconst proof-general-version "Proof General Version 4.5-git."
+ (defconst proof-general-version "Proof General Version 4.5."
"Version string identifying Proof General release."))
(defconst proof-general-short-version
@@ -77,7 +77,7 @@
(string-match "Version \\([^ ]+\\)\\." proof-general-version)
(match-string 1 proof-general-version))))
-(defconst proof-general-version-year "2016")
+(defconst proof-general-version-year "2022")
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;
diff --git a/proof-general.el b/proof-general.el
index b583bcdf61..067b167d25 100644
--- a/proof-general.el
+++ b/proof-general.el
@@ -11,8 +11,8 @@
;; Authors: (see the AUTHORS file distributed along the sources)
;; URL: https://proofgeneral.github.io/
-;; Package-Requires: ((emacs "25.1"))
-;; Version: 4.5-git
+;; Package-Requires: ((emacs "25.2"))
+;; Version: 4.5
;; The software is free software: you can redistribute it and/or modify
;; it under the terms of the GNU General Public License as published by