working on last polish for next release

Beside testing the release candidate under various constellations we try to transfer most of the hand made mathematical annotations into the QEDEQ modules. Also the last FIXMEs wait for their resolution.

The nightly build directory at http://qedeq.org/nightly/ contains now also a webstart section where you can start the brand new development version: http://qedeq.org/nightly/webstart/qedeq.jnlp.

Posted by Michael Meyling 2010-08-16