Ajout de Set Print Width

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

1 files changed, 2 insertions, 1 deletions

diff --git a/CHANGES b/CHANGES
index a72a1da2e3..6ebd9b2811 100644
--- a/CHANGES
+++ b/CHANGES
@@ -5,7 +5,8 @@ Vernacular commands
 
 - "Declare ML Module" now allows us to import .cma files. This avoids to use a
    bunch of "Declare ML Module" statements when using several ML files.
-
+- "Set Printing Width n" added, allows to change the size of width printing
+   (TODO : doc).
 Gallina
 
 - New syntax of the form "Inductive bool : Set := true, false : bool." for