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.

Best!


On Fri, Aug 29, 2014 at 2:31 AM, Lars Noschinski <noschinl at in.tum.de> 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)
www.inf.pucrs.br/alfio
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.