From 0355e5c5e8471d4ecafbcc56fe6634ac4ed337b3 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 12 Mar 2009 12:37:02 -0400
Subject: Mention src/coq in CHANGELOG

---
 CHANGELOG | 1 +
 1 file changed, 1 insertion(+)

(limited to 'CHANGELOG')

diff --git a/CHANGELOG b/CHANGELOG
index 644b077d..0a85dce4 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -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
-- 
cgit v1.2.3