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

David MENTRE dmentre at linux-france.org
Fri Nov 4 09:58:44 CET 2011


Hello Claude,

2011/11/4 Claude Marche <Claude.Marche at inria.fr>:
> The feature request tracker is active, Why3 developers see it, don't worry.

Good! :-)

Best regards,
d.



More information about the Why3-club mailing list