diff options
Diffstat (limited to 'Changelog')
-rw-r--r-- | Changelog | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,5 +1,5 @@ -Release 2.2 -=========== +Release 2.2, 2014-02-24 +======================= Major improvements: |
index : compcert | ||
CompCert fork with minor modifications for Vericert. |
aboutsummaryrefslogtreecommitdiffstats |