Release 0.03.12 is out!

We now decided to release the new version 0.03.12. Not all the tests were done but it should be a quite stable release. Now a release comes in two main flavours: common and development. The development release contains also the software sources and metrics.
See also http://www.qedeq.org/0.03.12 for further details...

Posted by Michael Meyling 2010-09-19

Log in to post a comment.