Description of the new features of the module system (part two).

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

1 files changed, 0 insertions, 2 deletions

diff --git a/CHANGES b/CHANGES
index 9867a7e21..3add96bc8 100644
--- a/CHANGES
+++ b/CHANGES
@@ -87,8 +87,6 @@ Vernacular commands
   congruence schemes available to user (governed by options "Unset
   Case Analysis Schemes" and "Unset Congruence Schemes").
 - Fixpoint/CoFixpoint now support building part or all of bodies using tactics.
-- New commands for modules and module types "Include Self <module_expr>"  and 
-  "Include Type Self <modtype_expr>".
 
 
 Tools