Highlight prover output for ideslave