chore: Prepare the 4.5 release

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
 

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

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.

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+

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")
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;

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