MAJ

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

1 files changed, 5 insertions, 2 deletions

diff --git a/CHANGES b/CHANGES
index 04650b0af..34093e18d 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,8 +1,11 @@
 Différences V7.0beta / V7.0
 
 - Ajout de déclarations locales aux Record (record à la Randy).
-
-- Correction de bugs (Identity Coercion; Rel not in scope of ?).
+- Correction de bugs (Identity Coercion; Rel not in scope of ?;
+  implicits in inductive defs).
+- Prise en compte noms longs dans Hints et Coercions
+- Rétablissement des @Definition and co
+- Rétablissement des token extensibles et mélangeant symboles et lettres
 
 ----------------------------------------------------------------------
 English version of changes is available on