Updates for release 3.8

AbsInt · Nov 16, 2020 · e6e036b · e6e036b
1 parent 27beb94
commit e6e036b
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 5 deletions.
diff --git a/Changelog b/Changelog
@@ -1,3 +1,6 @@
+Release 3.8, 2020-11-16
+=======================
+
 New features:
 - Support `_Static_assert` from ISO C11.
 - Support `__builtin_constant_p` from GCC and Clang.

diff --git a/VERSION b/VERSION
@@ -1,4 +1,4 @@
-version=3.7
+version=3.8
 buildnr=
 tag=
 branch=
diff --git a/doc/index.html b/doc/index.html
@@ -24,7 +24,7 @@
 
 <H1 align="center">The CompCert verified compiler</H1>
 <H2 align="center">Commented Coq development</H2>
-<H3 align="center">Version 3.7, 2020-03-31</H3>
+<H3 align="center">Version 3.8, 2020-11-16</H3>
 
 <H2>Introduction</H2>
 
@@ -56,12 +56,14 @@ <H2>Introduction</H2>
 written.</P>
 
 <P>The complete sources for CompCert can be downloaded from
-<A HREF="http://compcert.inria.fr/">the CompCert Web site</A>.</P>
+<A HREF="https://github.com/AbsInt/CompCert/">the Git repository</A>
+or <A HREF="https://compcert.org/">the CompCert Web site</A>.
+</P>
 
 <P>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 <A HREF="LICENSE">license</A>.
+following <A HREF="LICENSE.txt">license</A>.
 </P>
 
 <H2>Table of contents</H2>
@@ -348,7 +350,7 @@ <H3>Type systems</H3>
 </UL>
 
 <HR>
-<ADDRESS>Xavier.Leroy@inria.fr</ADDRESS>
+<ADDRESS>xavier.leroy@college-de-france.fr</ADDRESS>
 <HR>
 
 </BODY>