WSMO Studio 0.4.0 released

This release contains several minor bugfixes and two new 3rd party plug-ins:

* An IRS-III repository adapter from the KMi group at the Open University

* An Eclipse GEF based Axiom Editor plug-in, that replaces the default text based axiom editor. The plug-in was developed by the IIT group of the Bulgarian Academy of Sciences

Additional information regarding the 3rd party plug-ins is available at http://www.wsmostudio.org/3rd-party.html

This version again restores the built-in ORDI repository (it was missing from the last 2 releases, because of the ORDI incompatibilities with the latest WSMO API / wsmo4j)

Download the latest version from http://www.wsmostudio.org/ and check out the changelog at http://www.wsmostudio.org/changes-report.html#0_4_0