Preparation for release 1.11v1.11

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1975 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

2 files changed, 6 insertions, 6 deletions

diff --git a/Changelog b/Changelog
index f585848c..c75cd90c 100644
--- a/Changelog
+++ b/Changelog
@@ -1,4 +1,4 @@
-Release 1.11
+Release 1.11, 2012-07-13
 ========================
 
 Improvements in confidence:
diff --git a/LICENSE b/LICENSE
index 49f5923e..42c4b152 100644
--- a/LICENSE
+++ b/LICENSE
@@ -43,11 +43,11 @@ non-commercial contexts, subject to the terms of the GNU General
 Public License.
 
 The files contained in the flocq/ directory and its subdirectories are
-taken from the Flocq project, http://flocq.gforge.inria.fr/ These
-files are Copyright 2010-2012 INRIA and distributed under the terms of
-the GNU Lesser General Public Licence, either version 3 of the
-licence, or (at your option) any later version.  A copy of the
-GNU Lesser General Public Licence version 3 is included below.
+taken from the Flocq project, http://flocq.gforge.inria.fr/
+These files are Copyright 2010-2012 INRIA and distributed under the
+terms of the GNU Lesser General Public Licence, either version 3 of
+the licence, or (at your option) any later version.  A copy of the GNU
+Lesser General Public Licence version 3 is included below.
 
 Finally, the following files are taken from the CIL library:
     cparser/Cabs.ml