summaryrefslogtreecommitdiff
path: root/CHANGELOG
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-10-09 09:16:32 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-10-09 09:16:32 -0400
commitaadabf59dae4f16f343c9a399eba13e9cd5844f3 (patch)
tree74155fed4cbd124cdc4345e177c9160762ddacd1 /CHANGELOG
parentf0999e0e7b8ae0f3e0ac622d4d70e8a1da61f47e (diff)
New release
Diffstat (limited to 'CHANGELOG')
-rw-r--r--CHANGELOG1
1 files changed, 1 insertions, 0 deletions
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