Hi everyone,
I sometimes managed to hang Isabelle/jEdit by:
* changing multiple files
* selecting "quit"
* in the dialog asking me whether I want to save all files, clicking
on "Select All" then "Save Selected"
The editor hang for a few minutes, till I killed it with SIGKILL
(SIGTERM didn't suffice). Most recently, this happened with 19e5f5ac7b59.
-- Lars
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
