# HG changeset patch # User Adam Chlipala # Date 1269536689 14400 # Node ID 899875315bde0cbe701ebce521b459e380a906a2 # Parent b8cfb05c091d810693fcd59fb4a1a926ceed3ab4 New release diff -r b8cfb05c091d -r 899875315bde CHANGELOG --- 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 ========