Portage d'AutoRewrite

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

1 files changed, 2 insertions, 3 deletions

diff --git a/TODO b/TODO
index 3a29f4108..43ff76050 100644
--- a/TODO
+++ b/TODO
@@ -11,8 +11,6 @@ Environnement:
 
 Tactiques:
 
-- Réécrire AutoRewrite avec le langage de tactiques
-
 Noyau:
 
 - Gérer les alias avec un let in dans les cases
@@ -30,6 +28,7 @@ Doc:
 
 - restriction de syntaxe pour Cbv Delta [- toto].
 - documenter tactiques Induction, LetTac
+- documenter AutoRewrite
 - Ajouter let dans les règles du CIC
 - changement syntaxe de AddPath
 - une passe sur le chapitre extensions de syntaxe
@@ -38,4 +37,4 @@ Doc:
 - revoir le chapitre sur les tactiques utilisateur
 - clarifier la sémantique de Decompose (i.e. travaille pas sous les ->)
 - faut-il mieux spécifier la sémantique de Simpl (??)
-- vérifier si Print Table id est à jour
\ No newline at end of file
+- vérifier si Print Table id est à jour