Imported Upstream version 8.5~beta1+dfsg

1 files changed, 6 insertions, 6 deletions

diff --git a/dev/TODO b/dev/TODO
index 926861c9..e62ee6e5 100644
--- a/dev/TODO
+++ b/dev/TODO
@@ -3,16 +3,16 @@
      - reporter les options de l'ancien script coqtop sur le nouveau coqtop.ml
 
  o arguments implicites
-     - les calculer une fois pour toutes à la déclaration (dans Declare)
+     - les calculer une fois pour toutes à la déclaration (dans Declare)
        et stocker cette information dans le in_variable, in_constant, etc.
 
- o Environnements compilés (type Environ.compiled_env)
-     - pas de timestamp mais plutôt un checksum avec Digest (mais comment ?)
+ o Environnements compilés (type Environ.compiled_env)
+     - pas de timestamp mais plutôt un checksum avec Digest (mais comment ?)
 
- o Efficacité
-     - utiliser DOPL plutôt que DOPN (sauf pour Case)
+ o Efficacité
+     - utiliser DOPL plutôt que DOPN (sauf pour Case)
      - batch mode => pas de undo, ni de reset
-     - conversion : déplier la constante la plus récente
+     - conversion : déplier la constante la plus récente
      - un cache pour type_of_const, type_of_inductive, type_of_constructor,
        lookup_mind_specif