From 4bbdbbc72d96567f8c5a1d435beef32d447dec30 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 5 Jan 2017 14:34:52 -0500 Subject: New release --- CHANGELOG | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'CHANGELOG') diff --git a/CHANGELOG b/CHANGELOG index 20d79590..89fee4f2 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -1,3 +1,12 @@ +======== +20170105 +======== + +- Allow qualified variable references in record literals +- Add 'placeholder' attribute for textareas +- Add more explicit build instructions to main demo +- Bug fixes + ======== 20161022 ======== -- cgit v1.2.3