I wanted to say that the Komma collection is now checked out on lecture.activemath.org. This server is the "authoring preview server"… actually it should have another name.

Everyone can login there and is an author. Once logged-in, you have, under tools, the access to MBaseRef tools which gives you a way to list the content and show the digested OMDocs. You can also request reload which should request so6 update, i.e. update from this project's synchronizer.

Maybe it's worth announcing this on the ActiveMath-EU mailing-list soon ?

Enjoy.

paul