From 6c3816eecfcf1d87a3fae607b4a36fa1fc3797bd Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 23 Oct 2000 16:49:04 +0000
Subject: MAJ

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

diff --git a/TODO b/TODO
index 5e2e6f4815..cd59dd4794 100644
--- a/TODO
+++ b/TODO
@@ -8,8 +8,7 @@ Environnement:
 - Faire fonctionner Abstract
 - Faire fonctionner Reset
 - Que les Infix soit chargés lors d'un Require
-- Problème de compatibilité du mode implicite au discharge (avant, dépendait
-  de l'état du mode à la création, maintenant, à la fermeture de la section)
+- Problème de compatibilité du mode implicite au discharge (DONE)
 - ajouter "parsing" aux chemins par défaut (pour g_{nat,z}syntax.cmo)
 
 Tactiques
-- 
cgit v1.2.3