This is a place for discussion about GUI ideas.

CY's conceptual stuff

New Version of Openmath