From 34d58b781afec8ecd4afdcf2ab83f1c972338ba9 Mon Sep 17 00:00:00 2001 From: xleroy Date: Fri, 11 Jan 2013 13:08:04 +0000 Subject: Updated documentation git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2098 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- doc/index.html | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) (limited to 'doc/index.html') diff --git a/doc/index.html b/doc/index.html index 172e18e2..aa1847f5 100644 --- a/doc/index.html +++ b/doc/index.html @@ -1,7 +1,7 @@ -The Compcert verified compiler +The CompCert verified compiler