comparison CHANGELOG @ 1190:899875315bde

New release
author Adam Chlipala <adamc@hcoop.net>
date Thu, 25 Mar 2010 13:04:49 -0400
parents 86653ff6a0cb
children 6d8e3dcb9713
comparison
equal deleted inserted replaced
1189:b8cfb05c091d 1190:899875315bde
1 ======== 1 ========
2 Next 2 20100325
3 ======== 3 ========
4 4
5 - -verbose flag 5 - -verbose flag
6 - COUNT(col) SQL aggregate function 6 - COUNT(col) SQL aggregate function
7 - 'benignEffectful' and 'safeGet' .urp commands 7 - 'benignEffectful' and 'safeGet' .urp commands
8 - Remove Basis.getRequestHeader, since it can be used to circumvent cookie 8 - Remove Basis.getRequestHeader, since it can be used to circumvent cookie
9 security 9 security
10 - Rename Top.foldR*X to map*X
10 - Bug fixes and optimization improvements 11 - Bug fixes and optimization improvements
11 12
12 ======== 13 ========
13 20100213 14 20100213
14 ======== 15 ========