# HG changeset patch # User Adam Chlipala # Date 1255094192 14400 # Node ID 6c5f79209db64213d88fd2daf2f782575320d43a # Parent 166ea3944b9149a7d16b3d4e2f1b6160dd51a4d6 New release diff -r 166ea3944b91 -r 6c5f79209db6 CHANGELOG --- a/CHANGELOG Tue Oct 06 17:36:45 2009 -0400 +++ b/CHANGELOG Fri Oct 09 09:16:32 2009 -0400 @@ -6,6 +6,7 @@ - Improvement to choice of line number to cite in record unification error messages - SELECT DISTINCT +- New extra demos: orm1 and versioned1 ======== 20090926