Begin-End Silent deviennent Set?Unset Silent

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@899 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 5 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index bf089e223..b5d85ac15 100644
--- a/CHANGES
+++ b/CHANGES
@@ -10,6 +10,7 @@ Parsing
   pretty-printing rules
 
 
+
 Syntaxe des constructions
 
 - Consecutive as in patterns are forbidden
@@ -52,6 +53,10 @@ que les 3 primitives), on peut typer avec "constr", "tactic", ou
 
 - L'option [-myconst] de Cbv doit immédiatement suivre Delta
 
+- End Silent etait interprete comme une fin de section 
+  Begin Silent -> Set Silent
+  End Silent -> Unset Silent.
+
 Tactiques
 
 - Langage de tactique