diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-18 21:07:29 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-18 21:07:29 +0100 |
| commit | 8384d27c122ec4ca4b7ad0f524df52b61a49c66a (patch) | |
| tree | d86ff8780c4435d3b4fe92b5251e0f9b447b86c7 /doc | |
| parent | 362bdda28ca3c4dcc992575cbbe9400b64425990 (diff) | |
| parent | e6e036b3f285d2f3ba2a5036a413eb9c7d7534cd (diff) | |
| download | compcert-kvx-8384d27c122ec4ca4b7ad0f524df52b61a49c66a.tar.gz compcert-kvx-8384d27c122ec4ca4b7ad0f524df52b61a49c66a.zip | |
Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/index.html | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/doc/index.html b/doc/index.html index 631c5d99..ec8c4d91 100644 --- a/doc/index.html +++ b/doc/index.html @@ -24,7 +24,7 @@ a:active {color : Red; text-decoration : underline; } <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 @@ substantially changed since the overview papers above were 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 @@ reconstruction. </UL> <HR> -<ADDRESS>Xavier.Leroy@inria.fr</ADDRESS> +<ADDRESS>xavier.leroy@college-de-france.fr</ADDRESS> <HR> </BODY> |