[Why3-club] Questions about the why3 ide
delphine.demange at irisa.fr
Thu Mar 28 16:38:33 CET 2019
The editor recently introduced in Why3 provides a great improvement to the user experience. Thanks a lot.
I'm running the Why3 platform, version 1.1.0.
I'd like to know whether it is possible to :
- configure the IDE so that the tab showed by default would be the "Source view", instead of the "Task view"
- close a file from the IDE directly
- reset the session from the IDE
Perhaps these features were already introduced in a version more recent than mine.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Why3-club