diff options
Diffstat (limited to 'doc/index.html')
| -rw-r--r-- | doc/index.html | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/doc/index.html b/doc/index.html index 4390c87..1366a84 100644 --- a/doc/index.html +++ b/doc/index.html @@ -1,7 +1,7 @@ <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <HTML> <HEAD> -<TITLE>The Compcert certified compiler</TITLE> +<TITLE>The Compcert verified compiler</TITLE> <META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1"> <style type="text/css"> @@ -19,13 +19,12 @@ a:hover {color : Red; text-decoration : underline; } a:active {color : Red; text-decoration : underline; } </style> -<LINK type="text/css" rel="stylesheet" href="style.css"> </HEAD> <BODY> -<H1 align="center">The Compcert certified compiler</H1> +<H1 align="center">The Compcert verified compiler</H1> <H2 align="center">Commented Coq development</H2> -<H3 align="center">Version 1.0, 2007-08-28</H3> +<H3 align="center">Version 1.1, 2007-09-17</H3> <H2>Introduction</H2> @@ -236,7 +235,7 @@ code. <TD>Mach to Mach</TD> <TD>(none) <TD><A HREF="html/PPCgenretaddr.html">PPCgenretaddr</A><BR> - <A HREF="html/Machabstr2mach.html">Machabstr2mach</A></TD> + <A HREF="html/Machabstr2concr.html">Machabstr2concr</A></TD> <TR valign="top"> <TD>Emission of PowerPC assembly</TD> |