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:
> https://lists.cam.ac.uk/mailman/htdig/cl-isabelle-users/2014-May/msg00037.html
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.