From 0579791aa362fbed66baff317cb29f204dcce18a Mon Sep 17 00:00:00 2001
From: filliatr
Date: Sun, 12 Dec 1999 22:04:30 +0000
Subject: modules et coqc

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

(limited to 'dev')

diff --git a/dev/TODO b/dev/TODO
index 1c9d706cd5..c377eac2b0 100644
--- a/dev/TODO
+++ b/dev/TODO
@@ -1,9 +1,10 @@
 
- o Lib
-     - écrire une fonction d'export qui supprimme les FrozenState,
-       vérifie qu'il n'y a pas de section ouverte, et présente les
-       déclarations dans l'ordre chronologique (y compris dans les
-       sections fermées ?). A utiliser dans Library pour sauver un module.
+ o options de la ligne de commande
+     - 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)
+       et stocker cette information dans le in_variable, in_constant, etc.
 
  o configure
      - il faut tester la version du programme correspondant à $bytecamlc
-- 
cgit v1.2.3