[isabelle-dev] Reprocessing in Isabelle/jEdit

Peter Lammich lammich at in.tum.de
Tue Mar 24 13:48:06 CET 2015

I noticed the same behaviour yesterday, with fe5b796d6b2a.

This is very inconvenient, in particular if you have long-lasting proof
methods or big goal outputs, this produces lots of additional load.


On Di, 2015-03-24 at 13:29 +0100, Jasmin Blanchette wrote:
> Hi all,
> When editing inside Isabelle/jEdit (f19f4afa49e2), it used to be so that everything above was left alone. Now, if I edit a lemma in the middle of the window, everything above it that is visible gets reprocessed. So if I write something like
>    thm list.exhaust
> it can take a couple of seconds before I get feedback, if there’s some heavy material preceding it. I noticed this behavior for the first time last week or so — so did Mathias Fleury. We’re both using Macs.
> Is this behavior intentional? Is there a way to get the old, much more responsive behavior back?
> Thanks.
> Jasmin
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list