summaryrefslogtreecommitdiff
path: root/doc/index.html
diff options
context:
space:
mode:
authorGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2013-06-21 08:13:28 +0000
committerGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2013-06-21 08:13:28 +0000
commit67976ff28a03fc57690ad792fd5e515010f803a5 (patch)
tree4d097d96c8f25648ffe308f7099409aaaccf1a3f /doc/index.html
parent001222523a8d3ed758761916d85432b8dde2b2c2 (diff)
Version 2.00 -> version 2.0
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2286 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'doc/index.html')
-rw-r--r--doc/index.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/index.html b/doc/index.html
index adad156..59db3c5 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.00, 2013-06-21</H3>
+<H3 align="center">Version 2.0, 2013-06-21</H3>
<H2>Introduction</H2>