From 413dfbee3dba16c3d2653b61f7372349a0d3c078 Mon Sep 17 00:00:00 2001 From: delahaye Date: Sat, 2 Dec 2000 02:21:53 +0000 Subject: Portage d'AutoRewrite git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1043 85f007b7-540e-0410-9357-904b9bb8a0f7 --- TODO | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'TODO') 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 -- cgit v1.2.3