GUI Design
This is a place for discussion about GUI ideas.
CY's conceptual stuff
New Version of Openmath