From c0d273f87a552fa40313df7f4bff0f2deb0c640b Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 15 Dec 2000 22:30:58 +0000
Subject: Mise en page

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

diff --git a/CHANGES b/CHANGES
index c9dfe09692..cf43980283 100644
--- a/CHANGES
+++ b/CHANGES
@@ -94,9 +94,8 @@ que les 3 primitives), on peut typer avec "constr", "tactic", ou
 
 - Bug affichage Infix corrigé
 
-- Légère restriction de la syntaxe de Cbv Delta
-
-- L'option [-myconst] de Cbv doit immédiatement suivre Delta
+- Légère restriction de la syntaxe de Cbv Delta : l'option [-myconst]
+  de Cbv doit immédiatement suivre Delta
 
 - End Silent etait interprete comme une fin de section 
   Begin Silent -> Set Silent
-- 
cgit v1.2.3