Portage d'AutoRewrite

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

1 files changed, 3 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 08f607557..145493bce 100644
--- a/CHANGES
+++ b/CHANGES
@@ -105,6 +105,9 @@ Tactiques
 
 - Unfold échoue si on lui donne en argument une définition non dépliable
 
+- AutoRewrite ne s'occupe maintenant que du but principal et c'est les
+  Hint Rewrite qui gèrent les sous-buts générés
+
 Outils
 
 - deux binaires maximum : coqtop.byte et coqtop.opt si plateforme native;