From 5ec974962c7be7a7280a8094da733e32c232f5e0 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Sun, 13 May 2018 16:06:24 +0200
Subject: Document Smart/Array changes in dev/doc/Changes.md.

---
 dev/doc/changes.md | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'dev/doc')

diff --git a/dev/doc/changes.md b/dev/doc/changes.md
index ff448abe8..774a77c8a 100644
--- a/dev/doc/changes.md
+++ b/dev/doc/changes.md
@@ -28,6 +28,13 @@ Proof engine
   should indicate what the canonical form is. An important change is
   the move of `Globnames.global_reference` to `Names.GlobRef.t`.
 
+ML Libraries used by Coq
+
+- Introduction of a "Smart" module for collecting "smart*" functions, e.g.
+  Array.Smart.map.
+- Uniformization of some names, e.g. Array.Smart.fold_left_map instead
+  of Array.smartfoldmap.
+
 ### Unit testing
 
   The test suite now allows writing unit tests against OCaml code in the Coq
-- 
cgit v1.2.3