From 87777778aeaee3e1de767499f86bc22789118a69 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 25 Aug 2009 17:33:13 -0400 Subject: New release --- CHANGELOG | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'CHANGELOG') diff --git a/CHANGELOG b/CHANGELOG index 5eeecef8..c67676f4 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -1,3 +1,11 @@ +======== +20090825 +======== + +- Many bug fixes +- Remote procedure calls must be marked with the new 'rpc' function. +- Some tweaks to enable usage on OSX (suggested by Paul Snively) + ======== 20090718 ======== -- cgit v1.2.3