comparison CHANGELOG @ 997:588b31fe6cc9

Put right date stamp in CHANGELOG
author Adam Chlipala <adamc@hcoop.net>
date Fri, 09 Oct 2009 09:50:26 -0400
parents 6c5f79209db6
children 8d821baac99e
comparison
equal deleted inserted replaced
996:6c5f79209db6 997:588b31fe6cc9
1 ======== 1 ========
2 Next 2 20091009
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