From 879ba4632717690cb3fbf0010b038fe6dc3c231e Mon Sep 17 00:00:00 2001
From: Xavier Leroy The CompCert verified compiler
Commented Coq development
-Version 3.1, 2017-08-18
+Version 3.2, 2018-01-15
Introduction
@@ -39,8 +39,8 @@ within the Coq proof assistant.
High-level descriptions of the CompCert compiler and its proof of correctness can be found in the following papers (in increasing order of technical details):
This document and the CompCert sources are copyright Institut National de Recherche en Informatique et en Automatique (INRIA) and -distributed under the terms of the +AbsInt Angewandte Informatik GmbH, and are distributed under the terms of the following license.
-- cgit