From e6e036b3f285d2f3ba2a5036a413eb9c7d7534cd Mon Sep 17 00:00:00 2001
From: Xavier Leroy The CompCert verified compiler
Commented Coq development
-Version 3.7, 2020-03-31
+Version 3.8, 2020-11-16
Introduction
@@ -56,12 +56,14 @@ substantially changed since the overview papers above were
written.
The complete sources for CompCert can be downloaded from -the CompCert Web site.
+the Git repository +or the CompCert Web site. +This document and the CompCert sources are copyright Institut National de Recherche en Informatique et en Automatique (INRIA) and AbsInt Angewandte Informatik GmbH, and are distributed under the terms of the -following license. +following license.