From 1c703959f703b7f1e649b5adea6703d0512ab01d Mon Sep 17 00:00:00 2001
From: delahaye
Date: Sun, 30 Sep 2001 17:56:55 +0000
Subject: Doc de Ltac, Field et AutoRewrite -> FAIT

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

diff --git a/TODO b/TODO
index 143e93f978..92e86c2c27 100644
--- a/TODO
+++ b/TODO
@@ -23,12 +23,10 @@ Grammaires:
 
 Doc:
 
-- documenter AutoRewrite
 - Ajouter let dans les règles du CIC
   -> FAIT, mais reste a documenter le let dans les inductifs
   et les champs manifestes dans les Record   
 - une passe sur le chapitre extensions de syntaxe
-- documenter le langage de tactique et Field
 - revoir le chapitre sur les tactiques utilisateur 
 - faut-il mieux spécifier la sémantique de Simpl (??)
 - documenter @Definition and co
-- 
cgit v1.2.3