[isabelle] Isabelle2016-1-RC0: error markup too large



Dear Makarius,

it seems that in some situations, the "error" markup covers a too large
region. Here's a small example:

lemma True
proof -
  have False
    sorry

  ââabcâ

The comment is also highlighted in red.

Cheers
Lars





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.