"stop" button for web interface
nathanielvirgo opened this issue · comments
An enhancement request:
I've been playing around trying to work out how to do various things in ProbLog using the web interface. I find I quite often get into infinite loops and have to refresh the page and paste my code in again. It would be helpful to have a "stop" button for this sort of eventuality.