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.
-- Peter 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-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
