From bf1d33dfc394b7cf2203ea57336d5e9c6483260f Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 17 Jan 2001 13:44:11 +0000
Subject: MAJ

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

diff --git a/CHANGEMENTS b/CHANGEMENTS
index 74bf086797..12c7b8abfe 100644
--- a/CHANGEMENTS
+++ b/CHANGEMENTS
@@ -1,3 +1,5 @@
+EXPLIQUER le changement de Fact (JCF ??)
+
 Langage
 
 - Ajout de définitions locales (Let-In) avec la syntaxe [x:=u]t. Cela
@@ -129,6 +131,7 @@ Commandes
 - Nouveau: Debug On/Off positionne/débranche le débogueur de tactiques
   (encore très expérimental).
 
+- Fact se comporte différemment (comment, JCF ??)
 
 Tactiques
 
-- 
cgit v1.2.3