From 3433b2b39dde4ad8e1381dbc8741055435635166 Mon Sep 17 00:00:00 2001
From: xleroy The Compcert verified compiler
Commented Coq development
-Version 1.8, 2010-09-21
+Version 1.8.1, 2011-03-14
Introduction
@@ -58,7 +58,7 @@ overview papers above were written.
This document and the Compcert sources are -copyright 2005, 2006, 2007, 2008, 2009, 2010 Institut National de Recherche en +copyright 2005, 2006, 2007, 2008, 2009, 2010, 2011 Institut National de Recherche en Informatique et en Automatique (INRIA) and distributed under the terms of the following license.
-- cgit v1.2.3