diff options
author | Florian Franzmann | 2013-05-26 14:41:46 +0200 |
---|---|---|
committer | Florian Franzmann | 2013-05-26 21:30:19 +0200 |
commit | 643d9f999e562bbfd4874f80752f3c838829c025 (patch) | |
tree | 333ae62fd80ee80818cadb2107c0b419b4e49470 /ChangeLog | |
parent | 9382c04b3fdde1bf484e1125a461e0cd03e51f54 (diff) |
devel/why: new spell, a software verification platform
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,5 +1,6 @@ 2013-05-26 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * devel/zarith: new spell, arbitrary precision integers for ocaml + * devel/why: new spell, a software verification platform 2013-05-23 Ismael Luceno <ismael@sourcemage.org> * editors/vim-gnupg: new spell, Vim plugin for transparent editing of |