summaryrefslogtreecommitdiff
path: root/CHANGELOG
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-03-25 13:04:49 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-03-25 13:04:49 -0400
commit66e0340c72d73b437c0f004fbcefc52a2c2e10a8 (patch)
tree2f99ddb370acc039c89dfa48903ff71ff97c95d3 /CHANGELOG
parent1200a1527187fe7f21bbb0b74152efe33355e60b (diff)
New release
Diffstat (limited to 'CHANGELOG')
-rw-r--r--CHANGELOG3
1 files changed, 2 insertions, 1 deletions
diff --git a/CHANGELOG b/CHANGELOG
index 2289dbb2..58be26a1 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,5 +1,5 @@
========
-Next
+20100325
========
- -verbose flag
@@ -7,6 +7,7 @@ Next
- '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
========