diff options
author | Florian Franzmann | 2012-03-02 14:56:52 +0100 |
---|---|---|
committer | Florian Franzmann | 2012-03-02 14:56:52 +0100 |
commit | f010a870d8d3ed1038d14a1585fe7d4b44d1d66a (patch) | |
tree | 1e846acad083e7af5059fc49862168a2604b1da3 /ChangeLog | |
parent | e4a65815b974e1ebe7dff140e9c1aac609affa15 (diff) |
devel/alt-ergo: new spell, a theorem prover
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,5 +1,6 @@ 2012-03-02 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * devel/ocamlgraph: new spell, a graph library for ocaml + * devel/alt-ergo: new spell, a theorem prover 2012-03-01 Ladislav Hagara <hgr@vabo.cz> * libs/libftdi: new spell, library to talk to FTDI chips |