From 2e1e2b41cbc901581e774e931bdbd31d3662bc32 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 9 Apr 2001 07:53:00 +0000
Subject: MAJ

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

(limited to 'TODO')

diff --git a/TODO b/TODO
index 4fe357c92..71c72fd28 100644
--- a/TODO
+++ b/TODO
@@ -28,6 +28,7 @@ Doc:
 - documenter tactiques Induction, LetTac
 - documenter AutoRewrite
 - Ajouter let dans les règles du CIC
+  -> FAIT, mais reste a documenter le let dans les inductifs
 - changement syntaxe de AddPath
 - une passe sur le chapitre extensions de syntaxe
 - une passe sur le chapitre Cases
@@ -38,4 +39,4 @@ Doc:
 - vérifier si Print Table id est à jour
 - documenter @Definition and co
 - rectifier le paragraphe sur Coercions et pretty-printing
-  + Set Printing Coercions
\ No newline at end of file
+  + Set Printing Coercions
-- 
cgit v1.2.3