Added the option to set/unset the automatic generation of elimination schemes

 Set Elimination Schemes.



git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9780 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 3 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index b176fb685..aa8a59413 100644
--- a/CHANGES
+++ b/CHANGES
@@ -6,6 +6,9 @@ Commands
 - Added option Global to "Implicit Arguments" and "Arguments Scope" for
   section surviving.
 
+- Added option "Unset Elimination Schemes" to deactivated the automatic
+generation of elimination schemes.
+
 Notations
 
 - Level "constr" moved from 9 to 8.