id Resolution Summary Owner Reporter 479 fixed [intros ??.] messes up following indentation David Aspinall coquser 478 fixed [Proof .] messes up following indentation David Aspinall coquser 477 fixed [Proposition] is not highlighted like [Lemma] David Aspinall coquser