From 5771e5cd2cb76e0c8a05481417e12921da06c8ca Mon Sep 17 00:00:00 2001
From: filliatr
Date: Wed, 26 Jan 2000 23:46:38 +0000
Subject: mise a jour

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

diff --git a/dev/TODO b/dev/TODO
index 68f0474261..926861c965 100644
--- a/dev/TODO
+++ b/dev/TODO
@@ -1,10 +1,4 @@
 
- o warning camlp4 
-	<W> Changing associativity of level "<top>"
-   à comprendre et supprimmer
-   (on peut faire Grammar.warning_verbose := False, mais il vaut mieux
-   comprendre)
-
  o options de la ligne de commande
      - reporter les options de l'ancien script coqtop sur le nouveau coqtop.ml
 
@@ -12,11 +6,6 @@
      - les calculer une fois pour toutes à la déclaration (dans Declare)
        et stocker cette information dans le in_variable, in_constant, etc.
 
- o configure
-     - il faut tester la version du programme correspondant à $bytecamlc
-       qui peut être ocamlc ou ocamlc.opt, et non pas la version de "ocamlc"
-       seulement
-
  o Environnements compilés (type Environ.compiled_env)
      - pas de timestamp mais plutôt un checksum avec Digest (mais comment ?)
 
-- 
cgit v1.2.3