From 4ac54ab7ac2b5ec6e6c662b10f3307bd385a474b Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 21 Nov 2001 21:34:13 +0000
Subject: MAJ

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

diff --git a/CHANGES b/CHANGES
index 639550e94f..11c000020f 100644
--- a/CHANGES
+++ b/CHANGES
@@ -46,6 +46,9 @@ Bugs
 - NatRing works (to check)
 - "Discriminate 1", "Injection 1", "Simplify_eq 1" now working
 - Various incompatibilities wrt inference of "?" in V6.3.1 fixed
+- Known pattern-matching bugs fixed
+- Known coercions bugs
+- Improved errors messages for pattern-matching and projections
 
 ----------------------------------------------------------------------------
 Changes from V6.3.1 and V7.0 to V7.1
-- 
cgit v1.2.3