diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-03-12 12:37:02 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-03-12 12:37:02 -0400 |
| commit | 0355e5c5e8471d4ecafbcc56fe6634ac4ed337b3 (patch) | |
| tree | b6569284a6169fbfb07bd9b48ae4edafb69a87f5 /CHANGELOG | |
| parent | e3fe4307964fd93ddac266cf125ff2264fde2656 (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 |