From 85801f391cbfaec95f68e1bc1ff2c877bfa791ea Mon Sep 17 00:00:00 2001
From: delahaye
Date: Tue, 28 Nov 2000 14:23:05 +0000
Subject: Elimination du '

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

diff --git a/TODO b/TODO
index 2e3e01b419..3a29f41085 100644
--- a/TODO
+++ b/TODO
@@ -11,7 +11,6 @@ Environnement:
 
 Tactiques:
 
-- Éviter si possible les '(
 - Réécrire AutoRewrite avec le langage de tactiques
 
 Noyau:
-- 
cgit v1.2.3