From 5a88b41a6655f601c989ae94ce1fc8bb391ca630 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 25 Oct 2009 14:07:10 -0400 Subject: RPC uses VM support for call/cc --- CHANGELOG | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'CHANGELOG') diff --git a/CHANGELOG b/CHANGELOG index b45fbe74..f1a1b7db 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -1,3 +1,12 @@ +======== +Next +======== + +- Bug fixes +- Optimization improvements +- Removed a restriction that prevented some RPCs from compiling +- New extra demo: conference1 + ======== 20091012 ======== -- cgit v1.2.3