1 files changed, 5 insertions, 1 deletions
diff --git a/CHANGES b/CHANGES
index 0d0238e01..d0f001241 100644
--- a/CHANGES
+++ b/CHANGES
@@ -26,4 +26,8 @@ l'ast, il faut typer explicitement la grammaire avec Ast ou List
 - AddPath -> Add Path;
   Print LoadPath -> Print Path;
   DelPath -> Remove Path;
-  Print Path -> Print Coercion Paths.
-\ No newline at end of file
+  Print Path -> Print Coercion Paths.
+
+- Ajout d'un Let primitif
+
+- Ajout (officiel) d'une tactique LetTac et d'un Induction "convivial"
+\ No newline at end of file