diff options
-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"> |