From 2babe2ad5da7324de9ccf29adf949eb4f02d900b Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 22 Nov 2015 10:09:16 -0500 Subject: New release --- CHANGELOG | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'CHANGELOG') diff --git a/CHANGELOG b/CHANGELOG index 1e87b778..e3e69f57 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -1,3 +1,12 @@ +======== +20151122 +======== + +- Daemon mode now supports shared caching of libraries across projects. +- Change behavior of SQL equality to do the intuitive thing for nullable types. +- Basis.fromMilliseconds +- Bug fixes and improvements to type inference and error messages + ======== 20151018 ======== -- cgit v1.2.3