comparison CHANGELOG @ 994:7932d577cf78

Initial versioned1 demo working
author Adam Chlipala <adamc@hcoop.net>
date Tue, 06 Oct 2009 15:59:11 -0400
parents d923b47e483d
children 6c5f79209db6
comparison
equal deleted inserted replaced
993:10114d7b7477 994:7932d577cf78
3 ======== 3 ========
4 4
5 - Bug fixes 5 - Bug fixes
6 - Improvement to choice of line number to cite in record unification error 6 - Improvement to choice of line number to cite in record unification error
7 messages 7 messages
8 - SELECT DISTINCT
8 9
9 ======== 10 ========
10 20090926 11 20090926
11 ======== 12 ========
12 13