From cb9061d894d516e4607a9237813402d929384b26 Mon Sep 17 00:00:00 2001
From: mohring
Date: Thu, 19 Apr 2001 13:07:42 +0000
Subject: remplace Zarith par ZArith

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

(limited to 'TODO')

diff --git a/TODO b/TODO
index 2d6c69edfc..23456965bf 100644
--- a/TODO
+++ b/TODO
@@ -1,8 +1,8 @@
 Distribution:
 
 - faire une passe sur les options de coqtop et coqc
-- remercier les auteurs des contributions de la lib standard (p.ex. ZArith)
-- changer Zarith/ en ZArith/
+- remercier les auteurs des contributions de la lib standard (p.ex. ZArith) FAIT
+- changer Zarith/ en ZArith/ FAIT CP
 
 Langage:
 
-- 
cgit v1.2.3