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

1 files changed, 1 insertions, 1 deletions

diff --git a/Changelog b/Changelog
index cebff9a..e3fae53 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