diff CHANGELOG @ 2100:e1724f279db7

New release
author Adam Chlipala <adam@chlipala.net>
date Sat, 03 Jan 2015 09:56:57 -0500
parents 4be82596b8e3
children f1c4edf0a655
line wrap: on
line diff
--- a/CHANGELOG	Tue Dec 30 17:02:31 2014 -0500
+++ b/CHANGELOG	Sat Jan 03 09:56:57 2015 -0500
@@ -1,3 +1,11 @@
+========
+20150103
+========
+
+- New antiquote syntax for 'ORDER BY' clauses
+- New standard library function: List.mem
+- Bug fixes and improvements to type inference
+
 ========
 20141206
 ========