changeset 1190:899875315bde

New release
author Adam Chlipala <adamc@hcoop.net>
date Thu, 25 Mar 2010 13:04:49 -0400
parents b8cfb05c091d
children 61c3139eab12
files CHANGELOG
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/CHANGELOG	Tue Mar 16 16:17:02 2010 -0400
+++ b/CHANGELOG	Thu Mar 25 13:04:49 2010 -0400
@@ -1,5 +1,5 @@
 ========
-Next
+20100325
 ========
 
 - -verbose flag
@@ -7,6 +7,7 @@
 - 'benignEffectful' and 'safeGet' .urp commands
 - Remove Basis.getRequestHeader, since it can be used to circumvent cookie
   security
+- Rename Top.foldR*X to map*X
 - Bug fixes and optimization improvements
 
 ========