* mstyle support in notation for text color, font size
* AutoGui now scales fonts to the correct user-requested size Non
* linear pattern matching from the level of terms to the
* mstyle support in notation for text color, font size
* AutoGui now scales fonts to the correct user-requested size Non
* linear pattern matching from the level of terms to the