[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Workaround
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
february 2014 even though I haven't yet tried it.