bin,oct,hex conversions positive,Z,N,nat<->string

1 files changed, 5 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index fdd4feb598..f09cb549a0 100644
--- a/CHANGES
+++ b/CHANGES
@@ -105,6 +105,11 @@ SSReflect
   to the idiom {}e for the rewrite tactic (the equation e is used for
   rewriting and then discarded).
 
+Standard Library
+
+- There are now conversions between [string] and [positive], [Z],
+  [nat], and [N] in binary, octal, and hex.
+
 Changes from 8.8.0 to 8.8.1
 ===========================