Mention other deprecations and fixes in CHANGES

1 files changed, 6 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 40e8547ae9..c84aa00fb0 100644
--- a/CHANGES
+++ b/CHANGES
@@ -35,6 +35,12 @@ Tactic language
   deprecated; please use `fix/cofix ident N` to explicitely name
   hypothesis to be introduced.
 
+Documentation
+
+- The reference manual is now fully ported to Sphinx.
+
+Other small deprecations and bug fixes.
+
 Changes from 8.7.2 to 8.8+beta1
 ===============================