Re: [isabelle] Error messages in RC2014-RC4

Thank you Lars! It does not seem to be of any use, though. The position
errors are
already marked with  squiggly red underlines.


On Fri, Aug 29, 2014 at 2:31 AM, Lars Noschinski <noschinl at> wrote:

> On 29.08.2014 05:11, Alfio Martini wrote:
> > Dear Makarius,
> >
> > Maybe it is a little too late for that, but I have just noticed that
> error
> > messages in the RC4 version are showing a strange typographical
> > symbol. I think there is something to be adjusted here. See image
> > for an example. I am using the Windows version.
> This is intended: Ctrl+clicking on this symbol takes you to the position
> of the error.
>   -- Lars

Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática
90619-900 -Porto Alegre - RS - Brasil

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