Hello, I'm doing some development in SML for Isabelle, and sometimes I accidentally write an infinite loop. To try to determine where the infinite loops comes from, I often print some output, as this is the recommanded way to debug SML code I believe.
The problem is that Isabelle/jEdit freezes as soon as an infinite output is printed, as proven by the included file.
Development.thy
Description: Binary data
I haven't found a way yet to interrupt the execution of the file, so does this feature exist? and if no, could it be considered adding it? Thanks, Aymeric Bouzy
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
