Why3 IDE - Session reset from the IDE
Sometimes I like/need to
- exit without saving the session
- remove manually the session dir
- relaunch the IDE
It's to either make sure the changes in my settings (provers/timers/memory) are taken into account, and/or to replay manually all the "proof scenario" from scratch.
So, by "resetting a session", I probably mean "remove all proof nodes (proven or not), and hard-refresh the session".