MAJ

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1558 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 2 insertions, 1 deletions

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