Age | Commit message (Expand) | Author |
---|---|---|
2013-06-02 | devel/why3: use make_single in INSTALL | Florian Franzmann |
2013-06-02 | fixup 3e4ed16a7f33fcc65582374a7e18f377961d1b45 | Florian Franzmann |
2013-05-31 | devel/why3: version 0.81 | Florian Franzmann |
2013-05-31 | devel/why3: add optional dependency on sqlite3-ocaml | Florian Franzmann |
2013-01-20 | devel/why3: new spell, a rich library of proof task transformations | Florian Franzmann |