[isabelle-dev] looping continues in the background
kuncar at in.tum.de
Mon Mar 10 18:22:35 CET 2014
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.
More information about the isabelle-dev