From fb1bbb3272faff2c567a4d9359b1805b519ee773 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 26 Nov 2000 19:05:31 +0000
Subject: MAJ

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

(limited to 'TODO')

diff --git a/TODO b/TODO
index bc19b810ce..29d138ee5d 100644
--- a/TODO
+++ b/TODO
@@ -6,7 +6,7 @@ Environnement:
 
 - Porter SearchIsos
 - Require synchronisé
-- Interdire de faire 2 fois la même définition avec le même nom absolu
+- Interdire de faire 2 fois la même définition avec le même nom absolu FAIT
 
 Tactiques:
 
@@ -39,3 +39,4 @@ Doc:
 - revoir le chapitre sur les tactiques utilisateur
 - clarifier la sémantique de Decompose (i.e. travaille pas sous les ->)
 - faut-il mieux spécifier la sémantique de Simpl (??)
+- vérifier si Print Table id est à jour
\ No newline at end of file
-- 
cgit v1.2.3