mise à jour

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1560 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 2 insertions, 0 deletions

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: