diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-12-30 09:52:18 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-30 09:52:18 -0500 |
commit | 1cde40c8c97b7edc597ed62edce0484e178dfe7d (patch) | |
tree | 75e97593292345769ca687a19cd0db1445b07646 | |
parent | 4a0b5472f5130ef73f6cde4e62528a2601fbdfb3 (diff) |
New release
-rw-r--r-- | CHANGELOG | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,5 +1,5 @@ ======== -Next +20091230 ======== - Automatic insertion of implicit arguments in more positions @@ -10,6 +10,7 @@ Next - Tasks - Dynamic linking of the runtime system - Optimization improvements +- Bug fixes ======== 20091203 |