diff CHANGELOG @ 1190:899875315bde

New release
author Adam Chlipala <adamc@hcoop.net>
date Thu, 25 Mar 2010 13:04:49 -0400
parents 86653ff6a0cb
children 6d8e3dcb9713
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
 
 ========