diff options
Diffstat (limited to 'TODO')
-rw-r--r-- | TODO | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -16,8 +16,6 @@ Vernac: - Print / Print Proof en fait identiques ; Print ne devrait pas afficher les constantes opaques (devrait afficher qqchose comme <opaque>) -- Print Module d'un module a l'interier d'un type de module ne devrait pas - afficher son corps (il n'a pas de corps!) Theories: |