Merge branch 'v8.5'

1 files changed, 1 insertions, 1 deletions

diff --git a/CHANGES b/CHANGES
index 7f1aa6baf1..958c340259 100644
--- a/CHANGES
+++ b/CHANGES
@@ -2187,7 +2187,7 @@ Changes from V7.3.1 to V7.4
 Symbolic notations
 
 - Introduction of a notion of scope gathering notations in a consistent set;
-  a notation sets has been developped for nat, Z and R (undocumented)
+  a notation sets has been developed for nat, Z and R (undocumented)
 - New command "Notation" for declaring notations simultaneously for
   parsing and printing (see chap 10 of the reference manual)
 - Declarations with only implicit arguments now handled (e.g. the