Re: [isabelle] Isabelle2015-RC0 available for testing

On 18/04/15 10:31, Stephen Westfold wrote:

On Apr 16, 2015, at 4:09 PM, Makarius <makarius at> wrote:

On Sun, 12 Apr 2015, C. Diekmann wrote:

Is it possible to have some sort of "jump to next error" or an automatic jump to the error when I click on the red spot (left of the jEdit scroll bar)?

This feature is still not there after several years, because other things had a much higher priority.

I would vote to make this feature a higher priority. Iâve wasted a lot of time dragging the scroll bar to find hidden errors, but I suppose my use case is unusual in that I am automatically generating large proof files.


Doing things similar to Stephen, I would also like this feature. In a large theory you lose
precision with the scroll bar and clicking red marks does not take you to exactly where the error is.


The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

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