From c366365aaddeb3a65dc0816c8f93ec209dc9de44 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik@martin-dorel.org>
Date: Wed, 13 Jul 2022 18:15:36 +0200
Subject: [PATCH] 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 3b44fb1c0..6bb736ece 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 ae36a00f7..b0f5d06c4 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 bb51dbb55..e8f143a19 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 0055ef576..5c65e53ce 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 85819882e..969ba165f 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 b583bcdf6..067b167d2 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