Ajout syntaxe [ phr1 ... phrn ]. pour grouper des commandes (pour Time ou Grammar)

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

1 files changed, 4 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 537592357..9e29a7e50 100644
--- a/CHANGES
+++ b/CHANGES
@@ -12,3 +12,7 @@
 - Les cas des Cases ne se lisent plus de manière séquentielle, sauf en
   cas de clauses par défaut redondantes auquel cas la première est prise
   avec un avertissement.
+
+- Ajout de la syntaxe "[" phrase_1 ... phrase_n"]." pour grouper des
+phrases (utile pour Time et pour des grammaires abrégeant plusieurs
+commandes)