diff options
author | 2009-03-12 12:37:02 -0400 | |
---|---|---|
committer | 2009-03-12 12:37:02 -0400 | |
commit | 0b68f6c5f12b64b02558d32d95350b28eb1afd69 (patch) | |
tree | b6569284a6169fbfb07bd9b48ae4edafb69a87f5 /CHANGELOG | |
parent | e34efb7bd2c05d4f43eed29b281edbc6f4d441f3 (diff) |
Mention src/coq in CHANGELOG
Diffstat (limited to 'CHANGELOG')
-rw-r--r-- | CHANGELOG | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |