[Why3-club] Questions about the why3 ide

Claude Marche 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.
> 
> julia

I agree this is a missing feature.

Generally speaking, do not hesitate to put feature wishes in the gitlab 
tracker :

https://gitlab.inria.fr/why3/why3/issues

and then click on 'new issue'

- Claude


More information about the Why3-club mailing list