[isabelle-dev] looping continues in the background

[Ondřej Kunčar]

This refers to 682bba24e474.

If I have a theory file that contains a method that loops (use for 
example lemma "False" by (intro FalseE)) and if I close this file in 
JEdit, the method presumably still loops in the background. I have to 
open the file again and edit it to stop the looping. Is this an intended 
behavior? It's pretty annoying.

Best,
Ondrej