Closed GoogleCodeExporter closed 9 years ago
This tip should also be displayed in case option "Mark bad math" is disabled.
Original comment by paul.din...@gmail.com
on 18 Jul 2013 at 6:22
This issue was closed by revision r402.
Original comment by paul.din...@gmail.com
on 18 Jul 2013 at 7:18
Unfortunately the issue has not been verified explicitly by an independent
tester.
Original comment by paul.din...@gmail.com
on 8 Sep 2013 at 10:48
Original issue reported on code.google.com by
paul.din...@gmail.com
on 1 Apr 2013 at 12:56