diff options
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -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 |