[Why3-club] Questions about the why3 ide

Julia Lawall 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 :
>
> https://gitlab.inria.fr/why3/why3/issues
>
> and then click on 'new issue'

Done, thanks.

julia


More information about the Why3-club mailing list