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') 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: