by default you get a popup window that allows you to cancel a proof if you realize that you don't want to wait for all backends (and all obligations) to fail, instead of having to kill tlapm from the command line or an OS-level process manager.
Well it doesn't work in linux with the version of toolbox of april 2013. I doubt it works with the version of