Bug introduced in 10.0.1 and fixed in 10.0.2
10.0.1 under Ubuntu 12.04 x64 ....
Does everybody get greek variables emboldened?
Is anybody aware of how to revert to previous normal display?
The image below shows what I mean.
Bug introduced in 10.0.1 and fixed in 10.0.2
10.0.1 under Ubuntu 12.04 x64 ....
Does everybody get greek variables emboldened?
Is anybody aware of how to revert to previous normal display?
The image below shows what I mean.
This has been fixed as of version 10.0.2. – ilian May 6 at 20:30
Just to take this off the unanswered list.