diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-07-13 19:11:02 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-07-13 19:13:15 +0200 |
| commit | b75e44331c506bfc51bc9283f686c116ac85f60d (patch) | |
| tree | 5ac6584674465b47380d3c383223308a16da38e8 /doc | |
| parent | 2ee3bc6fecc3607b368fbf2a034bdfd8ccdf2d3e (diff) | |
| download | compcert-kvx-b75e44331c506bfc51bc9283f686c116ac85f60d.tar.gz compcert-kvx-b75e44331c506bfc51bc9283f686c116ac85f60d.zip | |
Update documentation entry point for release 3.0 (retroactively)
Some modules new in 3.0 were not mentioned.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/index.html | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/doc/index.html b/doc/index.html index 023267d0..239bdb28 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 2.7, 2016-06-29</H3> +<H3 align="center">Version 3.0, 2017-02-10</H3> <H2>Introduction</H2> @@ -190,12 +190,14 @@ code. <TD>Cminor to CminorSel</TD> <TD><A HREF="html/Selection.html">Selection</A><br> <A HREF="html/SelectOp.html"><I>SelectOp</I></A><br> + <A HREF="html/SelectLong.html"><I>SelectLong</I></A><br> <A HREF="html/SelectDiv.html">SelectDiv</A><br> - <A HREF="html/SelectLong.html">SelectLong</A></TD> + <A HREF="html/SplitLong.html">SplitLong</A></TD> <TD><A HREF="html/Selectionproof.html">Selectionproof</A><br> <A HREF="html/SelectOpproof.html"><I>SelectOpproof</I></A><br> - <A HREF="html/SelectDiv.html">SelectDiv</A><br> - <A HREF="html/SelectLongproof.html">SelectLongproof</A></TD> + <A HREF="html/SelectLongproof.html"><I>SelectLongproof</I></A><br> + <A HREF="html/SelectDivproof.html">SelectDivproof</A><br> + <A HREF="html/SplitLongproof.html">SplitLongproof</A></TD> </TR> <TR valign="top"> @@ -301,7 +303,8 @@ code. <TD><A HREF="html/Stacking.html">Stacking</A><BR> <A HREF="html/Bounds.html">Bounds</A><BR> <A HREF="html/Stacklayout.html"><I>Stacklayout</I></A></TD> - <TD><A HREF="html/Stackingproof.html">Stackingproof</A></TD> + <TD><A HREF="html/Stackingproof.html">Stackingproof</A><br> + <A HREF="html/Separation.html">Separation</A></TD> </TR> <TR valign="top"> |