From 65577c9f0c8a53f93b035063727d48af858bdab1 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 4 Oct 2000 13:40:14 +0000
Subject: MAJ

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@650 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 CHANGES | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index 0d0238e01d..d0f0012412 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
-- 
cgit v1.2.3