From e8c3bd0da575bb15fe7a31e676faecbe1d45e62c Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 9 Apr 2001 09:31:53 +0000
Subject: mise à jour

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

diff --git a/TODO b/TODO
index 71c72fd287..78bb23b492 100644
--- a/TODO
+++ b/TODO
@@ -17,6 +17,8 @@ Noyau:
 Vernac:
 
 - Pb noms cachés (utilisation de noms absolus ?) 
+- Print / Print Proof en fait identiques ; Print ne devrait pas afficher
+  les constantes opaques (devrait afficher qqchose comme <opaque>)
 
 Grammaires:
 
-- 
cgit v1.2.3