From 2cf153d684a48ed7ab910c77d9d98b4c9da3fe2e Mon Sep 17 00:00:00 2001
From: xleroy
Date: Mon, 11 Aug 2008 15:27:46 +0000
Subject: Update for release 1.3
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@715 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
doc/index.html | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
(limited to 'doc/index.html')
diff --git a/doc/index.html b/doc/index.html
index 219e587..f300af9 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -24,7 +24,7 @@ a:active {color : Red; text-decoration : underline; }
The Compcert verified compiler
Commented Coq development
-Version 1.2, 2008-02-13
+Version 1.3, 2008-08-11
Introduction
@@ -39,6 +39,7 @@ within the Coq proof assistant.
A high-level overview of the Compcert compiler and its proof of
correctness can be found in the following papers: