From a184d54b95c40bc2890fc91f236bbdf983ebc83d Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 28 Apr 2006 12:24:14 +0000
Subject: Standardisation du nom des méthodes de Evd

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

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index b094d8ffba..3f4cf0aa4c 100644
--- a/CHANGES
+++ b/CHANGES
@@ -96,9 +96,11 @@ Notations
 - no more automatic printing box in case of user-provided printing "format".
 - new notation "exists! x:A, P" for unique existence.
 
-Library
+Libraries
 
 - Small extension of Zmin.V, new Zmax.v, new Zminmax.v
+- Reworking of the files on classical logic and description principles
+  (possible incompatibilities)
 - New library on String and Ascii characters (contributed by L. Thery)
 - Few other improvements in ZArith potentially exceptionally breaking the
   compatibility (useless hypothesys of Zgt_square_simpl and
-- 
cgit v1.2.3