From 0462faba5cb84757ef5d3223e025b00da7cf4aad Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Mon, 5 Oct 2009 17:00:04 -0400 Subject: Basic CRUD operations in Orm --- CHANGELOG | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'CHANGELOG') diff --git a/CHANGELOG b/CHANGELOG index 286ce5cc..d75b807c 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -1,3 +1,11 @@ +======== +Next +======== + +- Bug fixes +- Improvement to choice of line number to cite in record unification error + messages + ======== 20090926 ======== -- cgit v1.2.3