prover output red squiggles

andriusvelykis / isabelle-eclipse

Eclipse integration for Isabelle proof assistant.

http://andriusvelykis.github.io/isabelle-eclipse

Eclipse Public License 1.0

12 stars 4 forks source link

prover output red squiggles #64

Closed leouk closed 11 years ago

leouk commented 11 years ago

Upon type errors on the prover output, red squiggles are displayed and confuse the text.

andriusvelykis commented 11 years ago

Fixed in 77d9d512c0491343547f957432dafa7af260ea2b

Using special annotations for prover output, which can be customised separately. Using background highlighting instead of squiggles for prover output.

prover-output-anns