Re: [isabelle] Isabelle2015-RC0 available for testing



> On Apr 16, 2015, at 4:09 PM, Makarius <makarius at sketis.net> 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.

Stephen





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