Commit eb7bd26e authored by Xavier Leroy's avatar Xavier Leroy
Browse files

Updates for release 3.4

parent 1020fb62
Release 3.4,
Release 3.4, 2018-09-17
=======================
Bug fixing:
......
......@@ -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.3, 2018-05-30</H3>
<H3 align="center">Version 3.4, 2018-09-17</H3>
<H2>Introduction</H2>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment