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