You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: