In the proof view I sometimes have white text on a white background.
In the screenshot below, some hypotheses are not readable and the goal is only partially readable.
Whey copying and pasting into a text editor I get as goal:
a mod e=c
⇔
c∈0 ‥ e − 1 ∧
(∃ k · k∈ℕ ∧ k∗e+c=a)
I am using Rodin 3.3 on Mac OS High Sierra.
Rodin 3.2 seems to have the same issue on Mac OS X High Sierra.
We have the same issue on the other laptop with High Sierra installed on it: all hypotheses are just white and the goal is only partially readable.
It also seems that saving a file does not always trigger the Rodin builder, in particular when the builder is still running for a previous change. (But I am not entirely sure about this issue.)
This is an eclipse bug : https://bugs.eclipse.org/bugs/show_bug.cgi?id=525465 well beyond what the Rodin maintainers can address. The issue is apparently in low level layer of SWT.
Unfortunately, there does not seem to be much interest in fixing it. You can vote for it on the Eclipse site to increase awareness of it by the Eclipse maintainers (I already did it for myself).
Fixed in Rodin 3.4 by switching to Eclipse Oxygen 4.7.2 which contains the SWT bug fix.