MAJ

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

1 files changed, 9 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 9807d7ef25..e8fd37a0b8 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,12 @@
+Changes from V7.2 to ????
+=========================
+
+Bugs
+
+- "Intros H" now working like "Intro H" trying first to reduce if not a product
+- Forward dependencies in Cases now taken into account
+
+
 Changes from V7.1 to V7.2
 =========================