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
commit55b69299470d57732590bdc1dd1d80df93b8ebc2 (patch)
tree74155fed4cbd124cdc4345e177c9160762ddacd1 /CHANGELOG
parent9a77aeccaeaf77fb1c05929ef2b9eb1b8c97be9b (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