Re: [isabelle] Isar syntax question

On 25.07.2014 17:23, Makarius wrote:
> b) the red background is unpleasant to read. It makes me nervous. It
> should be reserved for proper alerting. I need to be alerted once that
> it’s broken, but I don’t need to be continuously alerted while working
> on it.
> So why not change the color in Plugin Options / Isabelle / Rendering?
> You should keep it somehow visible, though, otherwise the following
> incident might happen:
Because I want to see the bad color in the edit window, but not (as
strong) in the output window.

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