Add String.concat

1 files changed, 2 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 2040c1b57..e2970dfc7 100644
--- a/CHANGES
+++ b/CHANGES
@@ -107,6 +107,8 @@ Standard Library
   Coq.Numbers.DecimalString providing a type of decimal numbers, some
   facts about them, and conversions between decimal numbers and nat,
   positive, N, Z, and string.
+- Added [Coq.Strings.String.concat] to concatenate a list of strings
+  inserting a separator between each item
 
 Changes from 8.7.1 to 8.7.2
 ===========================