Updates

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

1 files changed, 12 insertions, 11 deletions

diff --git a/LICENSE b/LICENSE
index 6a686e5..3626820 100644
--- a/LICENSE
+++ b/LICENSE
@@ -1,7 +1,8 @@
 All files in this distribution are part of the Compcert verified compiler.
 
-The Compcert verified compiler is Copyright 2004, 2005, 2006, 2007, 2008
-Institut National de Recherche en Informatique et en Automatique (INRIA).
+The Compcert verified compiler is Copyright 2004, 2005, 2006, 2007,
+2008, 2009 Institut National de Recherche en Informatique et en
+Automatique (INRIA).
 
 The Compcert verified compiler is distributed under the terms of the
 INRIA Non-Commercial License Agreement given below.  This is a
@@ -15,13 +16,13 @@ Foundation GNU General Public License, either version 2 or (at your
 option) any later version:
 
     backend/Cminor.v          common/Globalenvs.v  
-    caml/CMlexer.mli          common/Mem.v         
-    caml/CMlexer.mll          common/Smallstep.v   
-    caml/CMparser.mly         common/Switch.v      
-    caml/CMtypecheck.ml       common/Values.v      
-    caml/CMtypecheck.mli      lib/Coqlib.v         
-    caml/Cil2Csyntax.ml       lib/Floats.v         
-    caml/PrintCsyntax.ml      lib/Integers.v       
+    backend/CMlexer.mli       common/Mem.v         
+    backend/CMlexer.mll       common/Smallstep.v   
+    backend/CMparser.mly      common/Switch.v      
+    backend/CMtypecheck.ml    common/Values.v      
+    backend/CMtypecheck.mli   lib/Coqlib.v         
+    cfrontend/Cil2Csyntax.ml  lib/Floats.v         
+    cfrontend/PrintCsyntax.ml lib/Integers.v       
     cfrontend/Csem.v          lib/Maps.v           
     cfrontend/Csyntax.v       lib/Parmov.v         
     common/AST.v              runtime/calloc.c     
@@ -40,8 +41,8 @@ This distribution includes a copy of the CIL library and modifications
 to this library in the form of patches.  The CIL library is Copyright
 2001-2005 George C. Necula, Scott McPeak, Wes Weimer and Ben Liblit.
 The modifications contained in the sub-directory cil.patches/ of this
-distribution are Copyright 2006, 2007 Institut National de Recherche en
-Informatique et en Automatique.  The CIL library and the
+distribution are Copyright 2006, 2007, 2008, 2009 Institut National de
+Recherche en Informatique et en Automatique.  The CIL library and the
 modifications contained in the sub-directory cil.patches/ are
 distributed under the terms of the BSD license, included below.