qedeq_unstable 0.03.07

Version 0.03.07 is ready. Some small improvements were made: better error presentation, a more formal qedeq_basic_logic_v1.xml and various refactorings took place. Also during logical checking all referenced modules are loaded.

Posted by Michael Meyling 2007-12-22

Log in to post a comment.