From b951c429455863072c0938f3cbc7d13da654b8b7 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 31 Jan 2003 16:55:58 +0000
Subject: MAJ

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

diff --git a/CHANGES b/CHANGES
index e353671a80..209840fd68 100644
--- a/CHANGES
+++ b/CHANGES
@@ -153,6 +153,11 @@ Bugs
 - Type-checking inefficiency of nested destructuring let-in fixed (#216)
 - Improved handling of let-in during holes resolution phase (#239)
 
+Efficiency
+
+- Implementation of a memory sharing strategy reducing memory
+  requirements by an average ratio of 3.
+
 Changes from V7.3 to V7.3.1
 ===========================
 
-- 
cgit v1.2.3