# HG changeset patch # User Adam Chlipala # Date 1257701163 18000 # Node ID b734ff578ac74851f70669bd63c9ed71c1da5890 # Parent 5d9f47124c4c1e114debe6b53d287c5e5194fb8a New release diff -r 5d9f47124c4c -r b734ff578ac7 CHANGELOG --- a/CHANGELOG Sat Nov 07 11:06:38 2009 -0500 +++ b/CHANGELOG Sun Nov 08 12:26:03 2009 -0500 @@ -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