From 15bbdcfa63dd7fee30b3d03f98cf0795e4baf087 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 12 May 2008 18:25:06 +0000
Subject: MAJ et bricoles diverses

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

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index a349979fc4..1303bc4b5e 100644
--- a/CHANGES
+++ b/CHANGES
@@ -63,7 +63,6 @@ Libraries (DOC TO CHECK)
   elements, nothing more). 
 - In ListSet, a few definitions are now in Type (may induce a few
   incompatibilities).
-- Notation [t;...;u] for lists made available in list_scope.
 - Changes in FSets/FMaps:
   - Improvements: in particular FMap now provides an induction principle 
     on maps, and some properties about FSets and fold needs less hypotheses.
-- 
cgit v1.2.3