From 012d2861f62623bad12eecb9ccb275008403b02e Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 15 Jan 2003 16:23:50 +0000
Subject: Bug en présence de let-in

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

diff --git a/CHANGES b/CHANGES
index 22ac7b0132..e2ff2025c6 100644
--- a/CHANGES
+++ b/CHANGES
@@ -121,6 +121,10 @@ Incompatibilities
 Bugs
 
 - Improved localisation of errors in Syntactic Definitions
+- Induction principle creation failure in presence of let-in fixed (#238)
+- Inversion bugs fixed (#212 and #220)
+- Omega bug related to Set fixed (#180)
+- Type-checking inefficiency of nested destructuring let-in fixed (#216)
 
 Changes from V7.3 to V7.3.1
 ===========================
-- 
cgit v1.2.3