On Sat, 31 Aug 2013, Christian Sternagel wrote:
Assuming that the grayish background highlighting really indicates
prover activity in the background
This is outdated_color (RGB=EEE3E3 by default). It means that the
asynchronous protocol is in an intermediate state where the editor has no
Just an observation. Assuming that the grayish background highlighting
really indicates prover activity in the background, I recently noticed
that sometimes a re-check of the whole buffer is done in situations
where this is (as far as I see) not necessary. For example, having
lemma ...