comparison CHANGELOG @ 1255:068f55543d03

New release
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 May 2010 16:05:14 -0400
parents 6d8e3dcb9713
children 83b1853d1e58
comparison
equal deleted inserted replaced
1254:935a981f4380 1255:068f55543d03
1 ========
2 20100506
3 ========
4
5 - New experimental checker for information flow and access control policies
6 (See demo at http://www.impredicative.com/ur/scdv/)
7
1 ======== 8 ========
2 20100401 9 20100401
3 ======== 10 ========
4 11
5 - Subquery expressions and FROM items 12 - Subquery expressions and FROM items