Commit d39a9b5e authored by Xavier Leroy's avatar Xavier Leroy
Browse files

Update copyright section

So that it is consistent with the LICENSE file.
parent e62ce4ba
......@@ -25,9 +25,10 @@ professional support, can be purchased from
information.
## Copyright
The CompCert verified compiler is Copyright 2004, 2005, 2006, 2007,
2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015 Institut National de
Recherche en Informatique et en Automatique (INRIA).
The CompCert verified compiler is Copyright Institut National de
Recherche en Informatique et en Automatique (INRIA) and
AbsInt Angewandte Informatik GmbH.
## Contact
General discussions on CompCert take place on the
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment