From e9902e86fd1ba7af49e0ef331e05c3c287af0754 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 7 Jan 2006 18:25:21 +0000
Subject: MAJ

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

diff --git a/CHANGES b/CHANGES
index 200ed045b3..94303fad39 100644
--- a/CHANGES
+++ b/CHANGES
@@ -4,6 +4,7 @@ Changes from V8.0
 Syntax
 
 - No more support for version 7 syntax and for translation to version 8 syntax.
+- Support for primitive interpretation of string litterals
 
 Environment variables
 
@@ -71,6 +72,7 @@ Modules
 Notations
 
 - "format" option aware of recursive notations
+- added insertion of spaces by default in recursive notations w/o separators
 - no more automatic printing box in case of user-provided printing "format"
 
 Library
-- 
cgit v1.2.3