diff --git a/TODO b/TODO
index 54f25c80ce6f8b9bcc59b59019bf895000fdd629..54b13547557ff93f052ad9ff127ef03a0e593746 100644
--- a/TODO
+++ b/TODO
@@ -61,9 +61,6 @@
   Using modular implicits, generate terminal2token and
   nonterminal2value.
 
-* IncrementalEngine: document [lr1state], [element], [view].
-  Document the Inspection interface.
-
 * document that --depend may produce inaccurate dependencies
   for parser.cmi and that it is recommended to use --raw-depend
   --ocamldep "ocamldep -modules" and work from there (which is
@@ -77,11 +74,12 @@
     API d'inspection complète.
       Exposer le nombre d'états (pour la mémoisation) et une conversion état -> entier.
       Idem pour les productions.
+      Fonctions d'affichage pour les types terminal, nonterminal, etc.?
+      Fonctions d'isomorphisme entre token et 'a terminal * 'a?
     Librairie(s) pour la gestion des erreurs.
     Librairie pour la complétion du parsing.
       Need a way of feeding the parser a nonterminal symbol.
       Or a way of applying a semantic action to a vector of semantic values.
-    Peut-on faire un noyau de Merlin indépendant de la grammaire?
 
 * Meilleurs messages d'erreur de syntaxe.
     Revenir en arrière après une erreur, car l'erreur