# HG changeset patch # User Adam Chlipala # Date 1402838281 14400 # Node ID 4f2190b178e61422ebe132cc763c1f39fae94981 # Parent 73e54a6aba790395b18904be056ccee5220efb7d New release diff -r 73e54a6aba79 -r 4f2190b178e6 CHANGELOG --- a/CHANGELOG Fri Jun 13 10:57:02 2014 -0400 +++ b/CHANGELOG Sun Jun 15 09:18:01 2014 -0400 @@ -1,3 +1,14 @@ +======== +20140615 +======== + +- New syntactic sugar: 'let E where DS end' for 'let DS in E end' +- Add 'onChange' attributes to more tags. +- New standard library function: String.trim +- Start treating Ur/Web tag