From 97a1231b8f3de4d413fc3347f941812860616575 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 22 Aug 2011 09:41:12 +0000
Subject: Changelog, doc: updated for release 1.9 lib/Integers, Makefile:
 unsuccessful experiments with coqchk

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1723 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 Changelog | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Changelog')

diff --git a/Changelog b/Changelog
index cebff9ab..e3fae536 100644
--- a/Changelog
+++ b/Changelog
@@ -1,4 +1,4 @@
-Release 1.9, 2011-xx-xx
+Release 1.9, 2011-08-22
 =======================
 
 - The reduction semantics of CompCert C was made executable and turned
-- 
cgit