On 07/09/18 17:51, Manuel Eberl wrote: > > Basically, what happens is that occasionally, the IDE "freezes" in the > sense that no new changes to the document are processed. I can still > view the output of all the processed commands, but there is a certain > position in the document underneath which all the text is red, and it > never because not red. If I change anything in the text before that, it > also becomes red forever. > > It seems to me that this is particularly triggered by non-terminating > invocations of simp/auto/etc., even if I abort them after a fraction of > a second.
On 07/09/18 19:19, Fabian Immler wrote: > I experienced the same issues: Importing Pure (e50312982ba0) the > following "freezes" the IDE in the sense Manuel described. > > lemma "PROP P" > apply (rule ?)+ Thanks for reporting the problem and pinning it down precisely. See now: changeset: 68930:fc5763d000e8 user: wenzelm date: Fri Sep 07 19:49:26 2018 +0200 files: src/Pure/PIDE/command.ML description: proper tast_context (amending 5f44ad150ed8); Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev