diff options
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 2abb967..c6be1c2 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 1.10, 2012-03-13</H3> +<H3 align="center">Version 1.11, 2012-07-13</H3> <H2>Introduction</H2> @@ -206,7 +206,7 @@ code. <TD>Function inlining</TD> <TD>RTL to RTL</TD> <TD><A HREF="html/Inlining.html">Inlining</A></TD> - <TD><A HREF="html/Inliningspec.html">Inliningspec</A> + <TD><A HREF="html/Inliningspec.html">Inliningspec</A><BR> <A HREF="html/Inliningproof.html">Inliningproof</A></TD> </TR> @@ -229,8 +229,10 @@ code. <TR valign="top"> <TD>Common subexpression elimination</TD> <TD>RTL to RTL</TD> - <TD><A HREF="html/CSE.html">CSE</A></TD> - <TD><A HREF="html/CSEproof.html">CSEproof</A></TD> + <TD><A HREF="html/CSE.html">CSE</A><BR> + <A HREF="html/CombineOp.html"><I>CombineOp</I></A></TD> + <TD><A HREF="html/CSEproof.html">CSEproof</A><BR> + <A HREF="html/CombineOpproof.html"><I>CombineOpproof</I></A></TD> </TR> <TR valign="top"> |