Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo



Christmas comes fast and we start the test of our release candidate for version 0.04.00. This candidate can handle the resolution of external predicate and function constants. This means testing, testing, testing! We want a new release under the Christmas tree!

Posted by Michael Meyling 2010-12-21