Re: [isabelle] Error messages in RC2014-RC4
Thank you Lars! It does not seem to be of any use, though. The position
already marked with squiggly red underlines.
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
> > 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