Merge PR #6912: [doc] Document removal of deprecated options.

1 files changed, 17 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 441154b3a7..399e62de52 100644
--- a/CHANGES
+++ b/CHANGES
@@ -145,6 +145,23 @@ Compatibility support
 
 - Support for compatibility with versions before 8.6 was dropped.
 
+Options
+
+- The following deprecated options have been removed:
+
+  + `Refolding Reduction`
+  + `Standard Proposition Elimination`
+  + `Discriminate Introduction`
+  + `Shrink Abstract`
+  + `Tactic Pattern Unification`
+  + `Intuition Iff Unfolding`
+  + `Injection L2R Pattern Order`
+  + `Record Elimination Schemes`
+  + `Match Strict`
+  + `Typeclasses Legacy Resolution`
+  + `Typeclasses Module Eta`
+  + `Typeclass Resolution After Apply`
+
 Changes from 8.7.1 to 8.7.2
 ===========================