From 09d0588aae07c5384fe70ce27b3844b7113a0520 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 15 Jan 2002 17:40:07 +0000
Subject: MAJ

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2398 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 CHANGES | 9 +++++++++
 1 file changed, 9 insertions(+)

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
 =========================
 
-- 
cgit v1.2.3