[Why3-club] Questions about the why3 ide

Delphine Demange delphine.demange at irisa.fr
Thu Mar 28 16:38:33 CET 2019


Hi,

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.

Best,
Delphine


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/why3-club/attachments/20190328/45210bd1/attachment.html>


More information about the Why3-club mailing list