From 82ed38468f5da48ce6e9f6ec336cf5b11ca4bb4d Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 6 Oct 2009 15:59:11 -0400 Subject: Initial versioned1 demo working --- CHANGELOG | 1 + 1 file changed, 1 insertion(+) (limited to 'CHANGELOG') diff --git a/CHANGELOG b/CHANGELOG index d75b807c..0257d617 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -5,6 +5,7 @@ Next - Bug fixes - Improvement to choice of line number to cite in record unification error messages +- SELECT DISTINCT ======== 20090926 -- cgit v1.2.3