diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-10-09 09:16:32 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-09 09:16:32 -0400 |
commit | 55b69299470d57732590bdc1dd1d80df93b8ebc2 (patch) | |
tree | 74155fed4cbd124cdc4345e177c9160762ddacd1 | |
parent | 9a77aeccaeaf77fb1c05929ef2b9eb1b8c97be9b (diff) |
New release
-rw-r--r-- | CHANGELOG | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |