From 07140213aec08f00440a89b710a4f14c6816c524 Mon Sep 17 00:00:00 2001 From: xleroy Date: Fri, 13 Jul 2012 08:24:30 +0000 Subject: Preparation for release 1.11 git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1975 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- Changelog | 2 +- LICENSE | 10 +++++----- 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 -- cgit