From 3dfb41eafd3581fc2cf944707280b3e7144aa034 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 8 Feb 2006 11:52:37 +0000
Subject: Ajout bibliothèque String de Laurent Théry

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

diff --git a/CHANGES b/CHANGES
index 6ff6e2c41b..e6df482417 100644
--- a/CHANGES
+++ b/CHANGES
@@ -90,6 +90,7 @@ Notations
 
 Library
 
+- New library on String and Ascii characters (contributed by L. Thery)
 - Few improvements in ZArith potentially exceptionally breaking the
   compatibility (useless hypothesys of Zgt_square_simpl and
   Zlt_square_simpl removed; fixed names mentioning letter O instead of
-- 
cgit v1.2.3