From 1d67eb8a50a6d4f185aead5a23442e4b91270594 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 11 Jun 2008 11:25:07 +0000
Subject: MAJ diverses

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

(limited to 'COMPATIBILITY')

diff --git a/COMPATIBILITY b/COMPATIBILITY
index 97963c8dca..b44f344d43 100644
--- a/COMPATIBILITY
+++ b/COMPATIBILITY
@@ -53,7 +53,10 @@ Language
 Libraries
 
 - Some changes in the library (as mentioned in the CHANGES file) may
-  imply the need for local adaptations.
+  imply the need for local adaptations. This may particularly be the
+  case with the move from Set to Type in libraries FSets, SetoidList,
+  ListSet, Sorting and Zmisc. In case of trouble it may help to simply
+  declare Set as an alias for Type (see file SetIsType).
 
 For the main changes in the ML interfaces, see file
 dev/doc/changes.txt in the main archive.
-- 
cgit v1.2.3