From e220421fb4c3da7be7b3c6c081d971e99dff0abc Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 21 Nov 2000 14:49:02 +0000
Subject: MAJ

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

diff --git a/TODO b/TODO
index 3e348a1a69..5620502da1 100644
--- a/TODO
+++ b/TODO
@@ -1,18 +1,18 @@
 Distribution:
 
-- Faire fonctionner coqc/coqtop en non local
+- Faire fonctionner coqc/coqtop en non local FAIT
 - "System Error (Failure): "input_value: code mismatch" quand on
   charge en bytecode certains .vo compilés en natif (exemple typique:
-  Ring_abstract.v) COMPRIS, EN SUSPENS
-- où va RELATIONS/WELLFOUNDED ?
+  Ring_abstract.v) COMPRIS, FAIT
+- où va RELATIONS/WELLFOUNDED ? 
 
 Environnement:
 
 - Faire fonctionner Search
 - Porter SearchIsos
-- Faire fonctionner Abstract
-- Faire fonctionner Reset
-- Décider s'il faut garder Transparent/Opaque et si oui, l'implanter
+- Faire fonctionner Abstract FAIT
+- Faire fonctionner Reset FAIT
+- Décider s'il faut garder Transparent/Opaque et si oui, l'implanter FAIT
 - Ajouter "parsing" aux chemins par défaut (pour g_{nat,z}syntax.cmo) FAIT
 
 Tactiques:
-- 
cgit v1.2.3