diff options
-rw-r--r-- | TODO | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -28,6 +28,7 @@ Doc: - documenter tactiques Induction, LetTac - documenter AutoRewrite - Ajouter let dans les règles du CIC + -> FAIT, mais reste a documenter le let dans les inductifs - changement syntaxe de AddPath - une passe sur le chapitre extensions de syntaxe - une passe sur le chapitre Cases @@ -38,4 +39,4 @@ Doc: - vérifier si Print Table id est à jour - documenter @Definition and co - rectifier le paragraphe sur Coercions et pretty-printing - + Set Printing Coercions
\ No newline at end of file + + Set Printing Coercions |