From c803bb6cc31134f0759ecf06d5411ce812e05e54 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sun, 4 Mar 2018 20:11:03 +0100
Subject: [doc] Document removal of deprecated options.

---
 CHANGES | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

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
 ===========================
 
-- 
cgit v1.2.3