summaryrefslogtreecommitdiff
path: root/LICENSE
diff options
context:
space:
mode:
authorGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2012-07-13 08:24:30 +0000
committerGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2012-07-13 08:24:30 +0000
commit07140213aec08f00440a89b710a4f14c6816c524 (patch)
tree87c64c89b844e86392ab2bdbac633e761e55b268 /LICENSE
parente5d9686068fb9ee30d45d9fc6c933facbd402f68 (diff)
Preparation for release 1.11
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1975 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'LICENSE')
-rw-r--r--LICENSE10
1 files changed, 5 insertions, 5 deletions
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