From 9b31f673da13a4f4d04d937ac2b9e934c9b8291d Mon Sep 17 00:00:00 2001
From: Xavier Leroy
Date: Wed, 22 Jun 2016 11:18:21 +0200
Subject: Update in preparation for release 2.7
---
doc/index.html | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
(limited to 'doc/index.html')
diff --git a/doc/index.html b/doc/index.html
index ae6e8382..023267d0 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 2.6, 2015-12-21
+Version 2.7, 2016-06-29
Introduction
@@ -63,8 +63,7 @@ written.
the CompCert Web site.
This document and the CompCert sources are
-copyright 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015
-Institut
+copyright 2005-2016 Institut
National de Recherche en Informatique et en Automatique (INRIA) and
distributed under the terms of the
following license.
@@ -96,6 +95,7 @@ inequations by fixpoint iteration.
Errors: the Error monad.
AST: identifiers, whole programs and other
common elements of abstract syntaxes.
+ Linking: generic framework to define syntactic linking over the CompCert languages.
Values: run-time values.
Events: observable events and traces.
Memtype: memory model (interface).
--
cgit