1. OpenAxiom has some GUI support with Qt >= 4.6
   It should be enabled eventually.

2. There is TeXmacs support in "contrib/texmacs".
   Sometime it should be tested and packaged.