From 1eaec00255adfefbfdf4c25a77f03a107cd96fbd Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 8 Nov 2009 12:26:03 -0500 Subject: New release --- CHANGELOG | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/CHANGELOG b/CHANGELOG index 5ac1a04a..8a5fd858 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -1,12 +1,11 @@ ======== -Next +20091108 ======== - Bug fixes - Optimization improvements - Removed a restriction that prevented some RPCs and calls to sleep or recv from compiling -- New extra demo: conference1 ======== 20091012 -- cgit v1.2.3