From 01974798c5a492bb98e5a48b0faaceb1d9d5a21d Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 12 Feb 2006 21:20:48 +0000
Subject: Nettoyage Zmin.v, création Zmax.v et Zminmax.v

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

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index e6df482417..37afe09777 100644
--- a/CHANGES
+++ b/CHANGES
@@ -90,8 +90,9 @@ Notations
 
 Library
 
+- Small extension of Zmin.V, new Zmax.v, new Zminmax.v
 - New library on String and Ascii characters (contributed by L. Thery)
-- Few improvements in ZArith potentially exceptionally breaking the
+- Few other 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
   digit 0; weaken premises in Z_lt_induction)
-- 
cgit v1.2.3