1 files changed, 1 insertions, 1 deletions
diff --git a/CHANGES b/CHANGES
index e7343e08..02da6c87 100644
--- a/CHANGES
+++ b/CHANGES
@@ -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