[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 :


and then click on 'new issue'

- Claude

More information about the Why3-club mailing list