[Why3-club] Questions about the why3 ide
julia.lawall at lip6.fr
Fri Mar 29 19:07:01 CET 2019
On Fri, 29 Mar 2019, Claude Marche wrote:
> 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'
More information about the Why3-club