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 --- LICENSE | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'LICENSE') diff --git a/LICENSE b/LICENSE index 49f5923..42c4b15 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 v1.2.3