# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1236875822 14400
# Node ID 910bf013da4afc3c1f13289faae137a0ee15f12a
# Parent  c90906b2f43151348634716d04ee3a344e7c434f
Mention src/coq in CHANGELOG

diff -r c90906b2f431 -r 910bf013da4a CHANGELOG
--- a/CHANGELOG	Thu Mar 12 12:34:39 2009 -0400
+++ b/CHANGELOG	Thu Mar 12 12:37:02 2009 -0400
@@ -11,6 +11,7 @@
 - Generalize type classes to constructor classes
 - Initial compilation of client-side code to JavaScript
 - Initial support for mixed client- and server-side programming (i.e., "AJAX")
+- src/coq: Coq formalization of a core Ur-like calculus
 
 ========
 20081209