[Why3-club] Where to add new feature requests?

Claude Marche Claude.Marche at inria.fr
Fri Nov 4 09:10:51 CET 2011


Hi,

The feature request tracker is active, Why3 developers see it, don't worry.

- Claude

Le 03/11/2011 17:35, David MENTRE a écrit :
> Hello,
>
> Where should I add requests for new features? In the bug tracker
> (https://gforge.inria.fr/tracker/?atid=10293&group_id=2990&func=browse)
> or in the feature request tracker
> (https://gforge.inria.fr/tracker/?atid=10296&group_id=2990&func=browse)?
>
> I used the latter but I'm not sure it is really used by Why3 developers.
>
> Best regards,
> david
>
> _______________________________________________
> Why3-club mailing list
> Why3-club at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/why3-club




More information about the Why3-club mailing list