From 2bd5faedfe7464c9f4cc6bd36084d487c7c86b2a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 19 Aug 2014 11:08:25 -0400 Subject: New release --- CHANGELOG | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'CHANGELOG') diff --git a/CHANGELOG b/CHANGELOG index b80c8d9f..e56e24db 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -1,3 +1,10 @@ +======== +20140819 +======== + +- Improvements to HTML model +- Bug fixes and optimization improvements + ======== 20140807 ======== -- cgit v1.2.3