From c0bc146622528e3d52534909f5ae5cd2e375da8f Mon Sep 17 00:00:00 2001 From: xleroy Date: Sun, 5 Aug 2007 13:41:45 +0000 Subject: Documentation git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@386 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- doc/index.html | 56 +++++++++++++++++++++++++++++++++++--------------------- 1 file changed, 35 insertions(+), 21 deletions(-) (limited to 'doc') diff --git a/doc/index.html b/doc/index.html index 709767b..e75e7b1 100644 --- a/doc/index.html +++ b/doc/index.html @@ -1,7 +1,7 @@ -The Compcert certified compiler back-end +The Compcert certified compiler