[Why3-club] Questions about the why3 ide
Claude.Marche at inria.fr
Fri Mar 29 17:02:49 CET 2019
Le 29/03/2019 à 09:39, Julia Lawall a écrit :
>>> The editor recently introduced in Why3 provides a great improvement to
>>> the user experience. Thanks a lot.
>> Thanks for your positive feedback!
> I use this a lot as well.
> I miss the ability to search, particularly in the task view.
I agree this is a missing feature.
Generally speaking, do not hesitate to put feature wishes in the gitlab
and then click on 'new issue'
More information about the Why3-club