From aadabf59dae4f16f343c9a399eba13e9cd5844f3 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Fri, 9 Oct 2009 09:16:32 -0400
Subject: New release

---
 CHANGELOG | 1 +
 1 file changed, 1 insertion(+)

(limited to 'CHANGELOG')

diff --git a/CHANGELOG b/CHANGELOG
index 0257d617..cc9915b5 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -6,6 +6,7 @@ Next
 - Improvement to choice of line number to cite in record unification error
   messages
 - SELECT DISTINCT
+- New extra demos: orm1 and versioned1
 
 ========
 20090926
-- 
cgit v1.2.3