diff options
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -23,6 +23,7 @@ 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>) +- Print Section imprime-t-il les sections ouvertes ou bien fermees ?? Grammaires: @@ -52,4 +53,4 @@ Doc: - Suggestions de la formation Dans le Intros pattern on pourrait interpreter les _ comme des hypotheses sur lesquelles on ferait Clear immediatement --> FAIT, semble-t'il
\ No newline at end of file +-> FAIT, semble-t'il |