# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1273176314 14400
# Node ID 068f55543d033bd61ee07a53bc40caed5fd7314b
# Parent  935a981f43808194f5808c36a539cc2a49041849
New release

diff -r 935a981f4380 -r 068f55543d03 CHANGELOG
--- a/CHANGELOG	Thu May 06 13:57:01 2010 -0400
+++ b/CHANGELOG	Thu May 06 16:05:14 2010 -0400
@@ -1,3 +1,10 @@
+========
+20100506
+========
+
+- New experimental checker for information flow and access control policies
+  (See demo at http://www.impredicative.com/ur/scdv/)
+
 ========
 20100401
 ========